--- a/src/Pure/Isar/toplevel.ML Mon Nov 28 20:39:08 2011 +0100
+++ b/src/Pure/Isar/toplevel.ML Mon Nov 28 22:05:32 2011 +0100
@@ -210,7 +210,7 @@
| SOME (Proof (prf, _)) =>
Proof.pretty_state (Proof_Node.position prf) (Proof_Node.current prf)
| SOME (SkipProof (d, _)) => [Pretty.str ("skipped proof: depth " ^ string_of_int d)])
- |> Pretty.markup_chunks Markup.state |> Pretty.writeln;
+ |> Pretty.markup_chunks Isabelle_Markup.state |> Pretty.writeln;
fun pretty_abstract state = Pretty.str ("<Isar " ^ str_of_state state ^ ">");