src/Pure/Isar/toplevel.ML
changeset 50201 c26369c9eda6
parent 49863 b5fb6e7f8d81
child 50739 5165d7e6d3b9
     1.1 --- a/src/Pure/Isar/toplevel.ML	Sun Nov 25 18:50:13 2012 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Sun Nov 25 19:49:24 2012 +0100
     1.3 @@ -211,7 +211,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 Isabelle_Markup.state |> Pretty.writeln;
     1.8 +  |> Pretty.markup_chunks Markup.state |> Pretty.writeln;
     1.9  
    1.10  fun pretty_abstract state = Pretty.str ("<Isar " ^ str_of_state state ^ ">");
    1.11