From 7a566d649f8e20b61595bdc38d0c2a07680d6cb6 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub <pierre-yves@strub.nu>
Date: Fri, 20 Sep 2024 10:40:44 +0200
Subject: [PATCH] minor: remove debugging output

---
 src/ecLowGoal.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/ecLowGoal.ml b/src/ecLowGoal.ml
index 70d352cf42..a391e4bdda 100644
--- 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