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 /test/c/binarytrees.c | |
parent | ec95665e087d39e29ece455b90e7d5918dc88cee (diff) | |
download | compcert-477f73ef96d957de5a896a05175ceaab7e0dce03.tar.gz compcert-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 'test/c/binarytrees.c')
0 files changed, 0 insertions, 0 deletions