Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed debug commands
authordesharna
Fri, 28 Mar 2025 16:20:48 +0100
changeset 82371 971613edfb94
parent 82370 3c3ae21cf12d
child 82372 2db8a047b52c
removed debug commands
src/HOL/Tools/Sledgehammer/sledgehammer_prover_tactic.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle