diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-26 13:34:50 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-26 13:34:50 +0200 |
| commit | 477f73ef96d957de5a896a05175ceaab7e0dce03 (patch) | |
| tree | 34e85d13312225c9fdc547cef17bea57e81cd452 /exportclight | |
| parent | ec95665e087d39e29ece455b90e7d5918dc88cee (diff) | |
| download | compcert-kvx-477f73ef96d957de5a896a05175ceaab7e0dce03.tar.gz compcert-kvx-477f73ef96d957de5a896a05175ceaab7e0dce03.zip | |
Use old scope in after parameter parsing.
Not decrementing the scopes again after a parameter parsing
lead to other scoping problems.
Bug 19656.
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions