diff --git a/src/canary/metta_eval.pl b/src/canary/metta_eval.pl
index d9dc8d06573..8dfa2df4f40 100755
--- a/src/canary/metta_eval.pl
+++ b/src/canary/metta_eval.pl
@@ -1720,17 +1720,6 @@
                call(Term),NoResult=Vars.
 
 
-
-
-
-
-
-eval_20(Eq,RetType,Depth,Self,X,Y):-
-  (eval_40(Eq,RetType,Depth,Self,X,M)*-> M=Y ;
-     % finish_eval(Depth,Self,M,Y);
-    (eval_failed(Depth,Self,X,Y)*->true;X=Y)).
-
-
 /*
 into_values(List,Many):- List==[],!,Many=[].
 into_values([X|List],Many):- List==[],is_list(X),!,Many=X.