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 /README.md | |
| 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 'README.md')
0 files changed, 0 insertions, 0 deletions