src/Tools/solve_direct.ML
changeset 52643 34c29356930e
parent 52641 c56b6fa636e8
child 52645 e8c1c5612677
--- a/src/Tools/solve_direct.ML	Sat Jul 13 12:39:45 2013 +0200
+++ b/src/Tools/solve_direct.ML	Sat Jul 13 13:25:42 2013 +0200
@@ -85,8 +85,7 @@
             (if mode = Auto_Try then
                Proof.goal_message
                  (fn () =>
-                   Pretty.chunks
-                    [Pretty.str "", Pretty.markup Markup.intensify (message results)])
+                   Pretty.markup Markup.information (message results))
              else
                tap (fn _ =>
                  Output.urgent_message (Pretty.string_of (Pretty.chunks (message results))))))