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 /arm/Asmgenproof.v | |
parent | 17733e430b0c0a19853e1367ca38282a943e0c76 (diff) | |
download | compcert-44b910bb829f6e5920b0a51985624c345019711e.tar.gz compcert-44b910bb829f6e5920b0a51985624c345019711e.zip |
Factorized [declaration_specifier_no_type].
This saves a few states.
Diffstat (limited to 'arm/Asmgenproof.v')
0 files changed, 0 insertions, 0 deletions