diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 17:59:02 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 17:59:02 +0200 |
commit | c64c4ab2526ad87a3506c9e1fdf31fa1446c16eb (patch) | |
tree | 986e4516b4d59626f95fc1fc0815c8fe9c225c08 /cparser/Cutil.mli | |
parent | c9afca3d377bd32bd8dd551aee49d561cc1fa770 (diff) | |
download | compcert-c64c4ab2526ad87a3506c9e1fdf31fa1446c16eb.tar.gz compcert-c64c4ab2526ad87a3506c9e1fdf31fa1446c16eb.zip |
Reuse env from during parameter elaboration.
Allows adding struct definitions in function parameters.
Bug 19602.
Diffstat (limited to 'cparser/Cutil.mli')
0 files changed, 0 insertions, 0 deletions