metta_lang_interp_76_0 on Nils AI-DSL!

Author: TeamSPoon

prolog/metta_lang/metta_eval.pl

@@ -2980,7 +2980,7 @@
    list_to_set(List,RetVal).
 
 eval_20(Eq,RetType,Depth,Self,['unique',Eval],RetVal):- !,
-   term_variables(Eval+RetVal,Vars),
+   term_variables(RetVal,Vars),
    no_repeat_variant_var(YY),
    eval_args(Eq,RetType,Depth,Self,Eval,RetVal),YY=Vars.