--- a/src/Pure/Isar/token.ML Mon Nov 28 20:39:08 2011 +0100
+++ b/src/Pure/Isar/token.ML Mon Nov 28 22:05:32 2011 +0100
@@ -189,7 +189,9 @@
fun source_of (Token ((source, (pos, _)), (_, x), _)) =
if YXML.detect x then x
- else YXML.string_of (XML.Elem (Markup.token (Position.properties_of pos), [XML.Text source]));
+ else
+ YXML.string_of
+ (XML.Elem (Isabelle_Markup.token (Position.properties_of pos), [XML.Text source]));
fun source_position_of (Token ((source, (pos, _)), _, _)) = (source, pos);