From 3f673d19fc6a2aa27972476cd21507ddd0416c6b Mon Sep 17 00:00:00 2001 From: IndPrinciple Date: Wed, 8 Nov 2023 23:16:49 +0800 Subject: [PATCH] fix: Comment "logic: " --- src/prover_calculi/pred_elim.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/prover_calculi/pred_elim.ml b/src/prover_calculi/pred_elim.ml index eccd64eb1..86b2b5531 100644 --- 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 ();