fix: Comment "logic: "

sneeuwballen · Nov 8, 2023 · 3f673d1 · 3f673d1
1 parent c04d9df
commit 3f673d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/prover_calculi/pred_elim.ml b/src/prover_calculi/pred_elim.ml
@@ -1070,7 +1070,7 @@ module Make(E : Env.S) : S with module Env = E = struct
       _tracked := CS.add cl !_tracked;
     ) init_clauses;
 
-    CCFormat.printf "logic: %s@." (logic_to_str !_logic);
+    CCFormat.printf "%% logic: %s@." (logic_to_str !_logic);
 
     schedule_tasks ();