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 /doc | |
parent | 1057d06826cde79a65dd542c1b4dd72e0c25243d (diff) | |
download | compcert-6753e8f33cd4b26dbb256ae4886f11d60eb0e370.tar.gz compcert-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 'doc')
0 files changed, 0 insertions, 0 deletions