diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-08 01:20:31 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 12:51:02 +0200 |
| commit | 44b910bb829f6e5920b0a51985624c345019711e (patch) | |
| tree | c484f06fefde7de1aaa0cbe52dc09fb1f2279412 /backend | |
| parent | 17733e430b0c0a19853e1367ca38282a943e0c76 (diff) | |
| download | compcert-44b910bb829f6e5920b0a51985624c345019711e.tar.gz compcert-44b910bb829f6e5920b0a51985624c345019711e.zip | |
Factorized [declaration_specifier_no_type].
This saves a few states.
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions