Skip to content

Commit

Permalink
sealing work in progress continued
Browse files Browse the repository at this point in the history
  • Loading branch information
Mike Archbold committed Aug 31, 2024
1 parent 086e35e commit 5e5092f
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/canary/metta_eval.pl
Original file line number Diff line number Diff line change
Expand Up @@ -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),
Expand Down

0 comments on commit 5e5092f

Please sign in to comment.