src/Pure/Tools/find_theorems.ML
changeset 56914 f371418b9641
parent 56912 293cd4dcfebc
child 57690 5b652fd305d4
--- a/src/Pure/Tools/find_theorems.ML	Thu May 08 16:19:16 2014 +0200
+++ b/src/Pure/Tools/find_theorems.ML	Thu May 08 16:28:44 2014 +0200
@@ -70,7 +70,7 @@
     | Solves => Pretty.str (prfx "solves")
     | Simp pat => Pretty.block [Pretty.str (prfx "simp:"), Pretty.brk 1,
         Pretty.quote (Syntax.pretty_term ctxt (Term.show_dummy_patterns pat))]
-    | Pattern pat => Pretty.enclose (prfx " \"") "\""
+    | Pattern pat => Pretty.enclose (prfx "\"") "\""
         [Syntax.pretty_term ctxt (Term.show_dummy_patterns pat)])
   end;