--- a/src/Pure/General/antiquote.ML Mon Nov 28 20:39:08 2011 +0100
+++ b/src/Pure/General/antiquote.ML Mon Nov 28 22:05:32 2011 +0100
@@ -40,9 +40,9 @@
fun reports_of text =
maps
(fn Text x => text x
- | Antiq (_, (pos, _)) => [(pos, Markup.antiq)]
- | Open pos => [(pos, Markup.antiq)]
- | Close pos => [(pos, Markup.antiq)]);
+ | Antiq (_, (pos, _)) => [(pos, Isabelle_Markup.antiq)]
+ | Open pos => [(pos, Isabelle_Markup.antiq)]
+ | Close pos => [(pos, Isabelle_Markup.antiq)]);
(* check_nesting *)