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 /lib | |
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 'lib')
0 files changed, 0 insertions, 0 deletions