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 6962 399643633529
parent 6844 3909657a7da6
child 7944 cc1930ad1a88 
--- a/src/Pure/Syntax/parser.ML	Sat Jul 10 21:38:30 1999 +0200
+++ b/src/Pure/Syntax/parser.ML	Sat Jul 10 21:40:14 1999 +0200
@@ -193,7 +193,7 @@
                       (*existing productions whose lookahead may depend on l*)
                       val tk_prods =
                         assocs nt_prods
-                               (Some (hd l_starts  handle Hd => UnknownStart));
+                               (Some (hd l_starts  handle LIST _ => UnknownStart));
 
                       (*add_lambda is true if an existing production of the nt
                         produces lambda due to the new lambda NT l*)
isabelle