--- a/src/HOL/Tools/Nitpick/nitpick.ML Tue Dec 23 16:00:38 2014 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick.ML Tue Dec 23 20:46:42 2014 +0100
@@ -238,8 +238,7 @@
val outcome = Synchronized.var "Nitpick.outcome" (Queue.empty: string Queue.T)
fun pprint print prt =
if mode = Auto_Try then
- Synchronized.change outcome
- (Queue.enqueue (Pretty.string_of (Pretty.mark Markup.information prt)))
+ Synchronized.change outcome (Queue.enqueue (Pretty.string_of prt))
else
print (Pretty.string_of prt)
val pprint_a = pprint writeln