Don't abolish tables!

cmu-sei · Nov 16, 2022 · 46b20f5 · 46b20f5
1 parent 4012c9d
commit 46b20f5
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/share/prolog/oorules/guess.pl b/share/prolog/oorules/guess.pl
@@ -1668,8 +1668,7 @@
 
 tryNegation(G) :-
     loginfoln('Guessing ~Q.', negation_commit(G)),
-    try_assert(negation_commit(G)),
-    abolish_all_tables.
+    try_assert(negation_commit(G)).
 
 tryNOTNegation(G) :-
     loginfoln('Guessing ~Q.', negation_fail(G)),