changeset 45666 | d83797ef0d2d |
parent 45449 | eeffd04cd899 |
child 45681 | ac1651b08da2 |
--- a/src/Tools/quickcheck.ML Mon Nov 28 20:39:08 2011 +0100 +++ b/src/Tools/quickcheck.ML Mon Nov 28 22:05:32 2011 +0100 @@ -502,7 +502,7 @@ state |> (if auto then Proof.goal_message (K (Pretty.chunks [Pretty.str "", - Pretty.mark Markup.hilite msg])) + Pretty.mark Isabelle_Markup.hilite msg])) else tap (fn _ => Output.urgent_message (Pretty.string_of msg)))) else