diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 10:37:06 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 10:37:06 +0200 |
| commit | e9ba1d3276b0b2fbc37ecb8bd7e4955fd8ec030b (patch) | |
| tree | 65df85d8d7df47cafeb3b142d54d4fa18767cca9 /cfrontend | |
| parent | df2ba9189d479efce7f37c61ed1b15d93767145e (diff) | |
| download | compcert-e9ba1d3276b0b2fbc37ecb8bd7e4955fd8ec030b.tar.gz compcert-e9ba1d3276b0b2fbc37ecb8bd7e4955fd8ec030b.zip | |
Factorized two productions (and two error productions) in [enum_specifier].
This is analogous to the previous commit.
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions