# HG changeset patch
# User desharna
# Date 1743175248 -3600
# Node ID 971613edfb9482a150df579efddf758b7e53665e
# Parent  3c3ae21cf12d6de4bfb17d6a5c01be91b96b777a
removed debug commands

diff -r 3c3ae21cf12d -r 971613edfb94 src/HOL/Tools/Sledgehammer/sledgehammer_prover_tactic.ML
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_tactic.ML	Fri Mar 28 16:17:39 2025 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_tactic.ML	Fri Mar 28 16:20:48 2025 +0100
@@ -107,8 +107,7 @@
             let
               val xref =
                 if is_cartouche name then
-                  (* Facts.Fact (Thm.string_of_thm ctxt thm |> @{print}) *)
-                  Facts.Fact (Pretty.pure_string_of (Thm.pretty_thm ctxt thm) |> @{print})
+                  Facts.Fact (Pretty.pure_string_of (Thm.pretty_thm ctxt thm))
                 else
                   Facts.named name
             in