minor: remove debugging output

EasyCrypt · Sep 20, 2024 · 7a566d6 · 7a566d6
1 parent 9f9be58
commit 7a566d6
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/ecLowGoal.ml b/src/ecLowGoal.ml
@@ -665,7 +665,6 @@ let tt_apply ?(cutsolver : cutsolver option) (pt : proofterm) (tc : tcenv) =
     tc
 
   | Some cutsolver -> begin
-    Format.eprintf "%d@." (DMap.cardinal subgoals);
     FApi.t_onall (fun tc ->
       let tactic =
         match  DMap.find_opt (FApi.tc1_handle tc) subgoals with