changeset 50201 | c26369c9eda6 |
parent 49647 | 21ae8500d261 |
child 50505 | 33c92722cc3d |
--- a/src/Pure/Isar/runtime.ML Sun Nov 25 18:50:13 2012 +0100 +++ b/src/Pure/Isar/runtime.ML Sun Nov 25 19:49:24 2012 +0100 @@ -65,7 +65,7 @@ fun exn_msgs (context, (i, exn)) = (case exn of EXCURSION_FAIL (exn, loc) => - map (apsnd (fn msg => msg ^ Markup.markup Isabelle_Markup.no_report ("\n" ^ loc))) + map (apsnd (fn msg => msg ^ Markup.markup Markup.no_report ("\n" ^ loc))) (sorted_msgs context exn) | _ => let