From 5e5092f4365d43521afadec7cbdf493786dc9591 Mon Sep 17 00:00:00 2001 From: Mike Archbold Date: Fri, 30 Aug 2024 21:05:56 -0700 Subject: [PATCH] sealing work in progress continued --- src/canary/metta_eval.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/canary/metta_eval.pl b/src/canary/metta_eval.pl index 4e5ae12877a..f774029071e 100755 --- a/src/canary/metta_eval.pl +++ b/src/canary/metta_eval.pl @@ -676,6 +676,7 @@ check_replace_with_local_var(OutputVarList, Expr, Result). % omit_atoms(+input variables, -variables less atoms) +% If there are already bound values passed to sealed, no need for replacement omit_atoms([], []). omit_atoms([Head|Tail], Result) :- atomic(Head),