possibility of having multiple in/1

friguzzi · Nov 16, 2024 · 217da11 · 217da11
1 parent 68d041f
commit 217da11
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/prolog/slipcover.pl b/prolog/slipcover.pl
@@ -453,7 +453,9 @@
   ;
     true
   ),
+  set_sc(M:compiling,off),
   M:in(R00),
+  set_sc(M:compiling,on),
   process_clauses(R00,M,[],_,[],R0),
   statistics(walltime,[_,_]),
   learn_params(DB,M,R0,R,Score),