changeset 50201 | c26369c9eda6 |
parent 50163 | c62ce309dc26 |
child 50212 | 4fb06c22c5ec |
--- a/src/HOL/Tools/Nitpick/nitpick.ML Sun Nov 25 18:50:13 2012 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick.ML Sun Nov 25 19:49:24 2012 +0100 @@ -245,7 +245,7 @@ if mode = Auto_Try then Unsynchronized.change state_ref o Proof.goal_message o K o Pretty.chunks o cons (Pretty.str "") o single - o Pretty.mark Isabelle_Markup.intensify + o Pretty.mark Markup.intensify else print o Pretty.string_of val pprint_a = pprint Output.urgent_message