to address #197 where caught exception is bubbling too far upwards

trueagi-io · Nov 20, 2024 · eef56fc · eef56fc
1 parent fdaa364
commit eef56fc
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).