remove debug print

gares · web-flow · commit 33319bf3e6a4 · 2025-06-24T18:25:50.000+02:00
diff --git a/src/rocq_elpi_builtins.ml b/src/rocq_elpi_builtins.ml
@@ -3984,7 +3984,6 @@ Supported attributes:
                 rc
               with e when CErrors.noncritical e ->
                 Vernacstate.unfreeze_full_state vernac_state;
-                Feedback.msg_debug (CErrors.print e);
                 raise Pred.No_clause
             in
             let subgoals, sigma = proofview pv in
