Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Syntax/parser.ML
changeset 17314 04e21a27c0ad
parent 17221 6cd180204582
child 17412 e26cb20ef0cc 
--- a/src/Pure/Syntax/parser.ML	Thu Sep 08 16:08:50 2005 +0200
+++ b/src/Pure/Syntax/parser.ML	Thu Sep 08 16:09:23 2005 +0200
@@ -724,7 +724,7 @@
         (_, _, _, Nonterminal (nt, minPrec) :: _, _, _) =>
           let                                       (*predictor operation*)
             val (used', new_states) =
-              (case assoc (used, nt) of
+              (case AList.lookup (op =) used nt of
                 SOME (usedPrec, l) =>       (*nonterminal has been processed*)
                   if usedPrec <= minPrec then
                                       (*wanted precedence has been processed*)
isabelle