diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-02-24 16:01:35 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-02-24 16:01:35 +0100 |
commit | 9d4d852eb960926453f216722f629d3c8dc9cf13 (patch) | |
tree | b0419ac4ab0009b1477a526ee73dee897b73ce6a /cparser/Rename.ml | |
parent | 034eff1d4d4f168008cded71b73bd39066b97997 (diff) | |
download | compcert-kvx-9d4d852eb960926453f216722f629d3c8dc9cf13.tar.gz compcert-kvx-9d4d852eb960926453f216722f629d3c8dc9cf13.zip |
actually process the modifiers
Diffstat (limited to 'cparser/Rename.ml')
0 files changed, 0 insertions, 0 deletions