src/Pure/Isar/toplevel.ML
changeset 45666 d83797ef0d2d
parent 45488 6d71d9e52369
child 46959 cdc791910460
     1.1 --- a/src/Pure/Isar/toplevel.ML	Mon Nov 28 20:39:08 2011 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Mon Nov 28 22:05:32 2011 +0100
     1.3 @@ -210,7 +210,7 @@
     1.4    | SOME (Proof (prf, _)) =>
     1.5        Proof.pretty_state (Proof_Node.position prf) (Proof_Node.current prf)
     1.6    | SOME (SkipProof (d, _)) => [Pretty.str ("skipped proof: depth " ^ string_of_int d)])
     1.7 -  |> Pretty.markup_chunks Markup.state |> Pretty.writeln;
     1.8 +  |> Pretty.markup_chunks Isabelle_Markup.state |> Pretty.writeln;
     1.9  
    1.10  fun pretty_abstract state = Pretty.str ("<Isar " ^ str_of_state state ^ ">");
    1.11