diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-08 10:09:20 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 12:51:37 +0200 |
| commit | ca5594ace000eebab2e89791aa42cb849fad1a16 (patch) | |
| tree | 56407209121ce6f9f73ea4507ad426de573c60d0 /extraction | |
| parent | 1c6d12874f0737d07acbda6b56e43053ca159c36 (diff) | |
| download | compcert-ca5594ace000eebab2e89791aa42cb849fad1a16.tar.gz compcert-ca5594ace000eebab2e89791aa42cb849fad1a16.zip | |
Factorized [declaration_specifier_no_typedef_name].
This results in slightly fewer states.
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions