src/Pure/Syntax/syntax.ML

--- a/src/Pure/Syntax/syntax.ML	Thu Sep 08 16:08:50 2005 +0200
+++ b/src/Pure/Syntax/syntax.ML	Thu Sep 08 16:09:23 2005 +0200
@@ -110,7 +110,7 @@
 fun lookup_tokentr tabs modes =
   let val trs = gen_distinct eq_fst
     (List.concat (map (these o AList.lookup (op =) tabs) (modes @ [""])))
-  in fn c => Option.map fst (assoc (trs, c)) end;
+  in fn c => Option.map fst (AList.lookup (op =) trs c) end;
 
 fun merge_tokentrtabs tabs1 tabs2 =
   let