diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2017-12-12 14:18:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-12 14:18:46 +0100 |
| commit | 6753e8f33cd4b26dbb256ae4886f11d60eb0e370 (patch) | |
| tree | df71751d2915ba41e6005c10e6d78b3a51bb4bf9 /arm/AsmToJSON.ml | |
| parent | 1057d06826cde79a65dd542c1b4dd72e0c25243d (diff) | |
| download | compcert-kvx-6753e8f33cd4b26dbb256ae4886f11d60eb0e370.tar.gz compcert-kvx-6753e8f33cd4b26dbb256ae4886f11d60eb0e370.zip | |
Do not pass the env back from for stmt decls. (#42)
* Do not pass the env back from for stmt decls.
This is the source of issue #211, the environment from the elaboration of
the declaration and expressions in the for loop should not be passed back.
Diffstat (limited to 'arm/AsmToJSON.ml')
0 files changed, 0 insertions, 0 deletions