src/HOL/Tools/Nitpick/nitpick.ML

--- 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