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