From 2da35635cac2731cde0d23235f7cee459b2ee439 Mon Sep 17 00:00:00 2001 From: logicmoo Date: Mon, 30 Dec 2024 14:18:45 -0800 Subject: [PATCH] fixed redundant eval left over in fix to issue https://github.com/trueagi-io/metta-wam/issues/225 --- prolog/metta_lang/metta_eval.pl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/prolog/metta_lang/metta_eval.pl b/prolog/metta_lang/metta_eval.pl index 03307ba1ba..5411cd2cfe 100755 --- a/prolog/metta_lang/metta_eval.pl +++ b/prolog/metta_lang/metta_eval.pl @@ -2746,8 +2746,7 @@ eval_defn_failure(Eq,RetType,Depth,Self,X,Y)). -eval_defn_success(Eq,RetType,Depth,Self,XIn,ResOutY,XX,B0,USED):- - eval_adjust_args(Eq,RetType,Y,ResOutY,Depth,Self,XIn,X), +eval_defn_success(Eq,RetType,Depth,Self,X,Y,XX,B0,USED):- X=XX, Y=B0, X\=@=B0, if_trace(e,color_g_mesg('#773700',indentq2(Depth,defs_used(USED)))), light_eval(Eq,RetType,Depth,Self,B0,Y),!.