src/HOL/Tools/Nitpick/nitpick.ML
changeset 52644 cea207576f81
parent 52643 34c29356930e
child 52697 6fb98a20c349
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Sat Jul 13 13:25:42 2013 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Sat Jul 13 13:58:13 2013 +0200
     1.3 @@ -240,7 +240,6 @@
     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 single
     1.8          o Pretty.mark Markup.information
     1.9        else
    1.10          print o Pretty.string_of