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",