diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:49:01 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:49:01 +0100 |
| commit | 2543f6ecca50e930c23b705f6a3796ca05db85ff (patch) | |
| tree | 6115fb439728633a3e6858d398d41fa023ac3d00 /cfrontend/C2C.ml | |
| parent | 4e5a1b59c1653b1429f0a6cf2075ab2e54a43533 (diff) | |
| download | compcert-2543f6ecca50e930c23b705f6a3796ca05db85ff.tar.gz compcert-2543f6ecca50e930c23b705f6a3796ca05db85ff.zip | |
Removed shadowing open.
Diffstat (limited to 'cfrontend/C2C.ml')
0 files changed, 0 insertions, 0 deletions