to address trueagi-io/metta-wam#197 where caught exception is bubblin…

…g too far upwards
logicmoo · Nov 20, 2024 · ae54d06 · ae54d06
1 parent 9a224a8
commit ae54d06
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.Attic/metta_lang/metta_eval.pl b/.Attic/metta_lang/metta_eval.pl
@@ -2142,8 +2142,6 @@
     suggest_type(RetType,'Bool'),
     eq_unify(Eq,_SharedType, X, Y, Res).
 
-eq_unify(_Eq,_SharedType, X, Y, TF):- as_tf(X=:=Y,TF),!.
-eq_unify(_Eq,_SharedType, X, Y, TF):- as_tf( '#='(X,Y),TF),!.
 eq_unify( Eq,  SharedType, X, Y, TF):- as_tf(eval_until_unify(Eq,SharedType, X, Y), TF).