Merge branch 'trueagi-io:main' into main

trueagi-io · Aug 15, 2024 · 337aa9d · 337aa9d
2 parents 794966e + 03e8c39
commit 337aa9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/canary/metta_interp.pl b/src/canary/metta_interp.pl
@@ -1678,7 +1678,7 @@
 maybe_halt(Seven):- option_value('halt',true),!,halt(Seven).
 maybe_halt(_):- once(pre_halt2), fail.
 maybe_halt(Seven):- fbugio(maybe_halt(Seven)), fail.
-maybe_halt(_):- !.
+%maybe_halt(_):- !.
 maybe_halt(H):- halt(H).