diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-08 01:11:42 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-08 01:11:42 +0200 |
| commit | 7d68132721bb4c12de8b846717972a25899ecc3f (patch) | |
| tree | d62bb82b3e51cb2ba8ad4699633ac7cba66c0783 /Makefile.menhir | |
| parent | 7f952a804eda8bac8d812800741b047550b1194b (diff) | |
| download | compcert-kvx-7d68132721bb4c12de8b846717972a25899ecc3f.tar.gz compcert-kvx-7d68132721bb4c12de8b846717972a25899ecc3f.zip | |
Replaced 4 uses of [ioption(declaration_specifiers_no_type)] with [declaration_specifiers_no_type?].
Inlining these options was not necessary.
This reduces the number of states in the automaton.
Diffstat (limited to 'Makefile.menhir')
0 files changed, 0 insertions, 0 deletions