diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-19 10:59:28 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 12:55:13 +0200 |
commit | 4a088ba7c9f82d105b25935c1ff7abb07e72de6b (patch) | |
tree | c90e57171f1fa51524d1dfffb81ab1aa5f7d97ae /cparser/Cutil.ml | |
parent | c6d574de8b0435676947b6b7e97d6d36d89f1f20 (diff) | |
download | compcert-4a088ba7c9f82d105b25935c1ff7abb07e72de6b.tar.gz compcert-4a088ba7c9f82d105b25935c1ff7abb07e72de6b.zip |
Reformulated [specifier_qualifier_list_no_typedef_name] as a left-recursive list.
This saves 7 states and 4 error states.
Diffstat (limited to 'cparser/Cutil.ml')
0 files changed, 0 insertions, 0 deletions