diff -r 2c94c065564e -r c26369c9eda6 src/Pure/Isar/toplevel.ML
--- a/src/Pure/Isar/toplevel.ML	Sun Nov 25 18:50:13 2012 +0100
+++ b/src/Pure/Isar/toplevel.ML	Sun Nov 25 19:49:24 2012 +0100
@@ -211,7 +211,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 Isabelle_Markup.state |> Pretty.writeln;
+  |> Pretty.markup_chunks Markup.state |> Pretty.writeln;
 
 fun pretty_abstract state = Pretty.str ("<Isar " ^ str_of_state state ^ ">");