src/Pure/Isar/outer_syntax.ML
changeset 17184 3d80209e9a53
parent 17118 1ff59b7b35b7
child 17221 6cd180204582
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Mon Aug 29 16:18:03 2005 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Mon Aug 29 16:18:04 2005 +0200
     1.3 @@ -132,7 +132,7 @@
     1.4      SOME (((_, k), _), _) => OuterKeyword.tags_of k
     1.5    | NONE => []);
     1.6  
     1.7 -fun is_markup kind name = (assoc_string (! global_markups, name) = SOME kind);
     1.8 +fun is_markup kind name = (AList.lookup (op =) (! global_markups) name = SOME kind);
     1.9  
    1.10  
    1.11  (* augment syntax *)