diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-08 10:16:25 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 12:51:48 +0200 |
commit | d7d088921bcd26012bd27e5cc4f01746f91d029b (patch) | |
tree | efdce070bad6bc7da5ff3b1e4f13e0a9edb1be0f /runtime | |
parent | ca5594ace000eebab2e89791aa42cb849fad1a16 (diff) | |
download | compcert-d7d088921bcd26012bd27e5cc4f01746f91d029b.tar.gz compcert-d7d088921bcd26012bd27e5cc4f01746f91d029b.zip |
Replaced [declaration_specifiers_no_typedef_name] with [declaration_specifier_no_typedef_name*].
This replaces a right-recursive list with a left-recursive list.
This saves 2 states and 6 error states.
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions