From eef56fcf8c750f64d23cefc14ef046be955edeb1 Mon Sep 17 00:00:00 2001
From: logicmoo <logicmoo@gmail.com>
Date: Wed, 20 Nov 2024 03:53:04 -0800
Subject: [PATCH] to address https://github.com/trueagi-io/metta-wam/issues/197
 where caught exception is bubbling too far upwards

---
 .Attic/metta_lang/metta_eval.pl | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.Attic/metta_lang/metta_eval.pl b/.Attic/metta_lang/metta_eval.pl
index 7df8f054dec..ce4be9021a7 100755
--- 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).