src/Pure/Isar/outer_syntax.ML

--- a/src/Pure/Isar/outer_syntax.ML	Mon Aug 29 16:18:03 2005 +0200
+++ b/src/Pure/Isar/outer_syntax.ML	Mon Aug 29 16:18:04 2005 +0200
@@ -132,7 +132,7 @@
     SOME (((_, k), _), _) => OuterKeyword.tags_of k
   | NONE => []);
 
-fun is_markup kind name = (assoc_string (! global_markups, name) = SOME kind);
+fun is_markup kind name = (AList.lookup (op =) (! global_markups) name = SOME kind);
 
 
 (* augment syntax *)