src/HOL/Tools/Nitpick/nitpick.ML
changeset 52643 34c29356930e
parent 52202 d5c80b12a1f2
child 52644 cea207576f81
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Sat Jul 13 12:39:45 2013 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Sat Jul 13 13:25:42 2013 +0200
     1.3 @@ -240,8 +240,8 @@
     1.4      fun pprint print =
     1.5        if mode = Auto_Try then
     1.6          Unsynchronized.change state_ref o Proof.goal_message o K
     1.7 -        o Pretty.chunks o cons (Pretty.str "") o single
     1.8 -        o Pretty.mark Markup.intensify
     1.9 +        o Pretty.chunks o single
    1.10 +        o Pretty.mark Markup.information
    1.11        else
    1.12          print o Pretty.string_of
    1.13      val pprint_a = pprint Output.urgent_message