src/Pure/Syntax/syntax.ML
changeset 1147 57b5f55bf879
parent 922 196ca0973a6d
child 1158 96804ce95516
--- a/src/Pure/Syntax/syntax.ML	Tue Jun 13 13:38:54 1995 +0200
+++ b/src/Pure/Syntax/syntax.ML	Wed Jun 14 12:05:13 1995 +0200
@@ -178,7 +178,7 @@
     Syntax {
       lexicon = extend_lexicon lexicon (delims_of xprods),
       logtypes = extend_list logtypes1 logtypes2,
-      gram = extend_gram gram (logtypes1 @ logtypes2) xprods,
+      gram = extend_gram gram xprods,
       consts = consts2 union consts1,
       parse_ast_trtab =
         extend_trtab parse_ast_trtab parse_ast_translation "parse ast translation",