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 /ia32/TargetPrinter.ml | |
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 'ia32/TargetPrinter.ml')
0 files changed, 0 insertions, 0 deletions