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/Builtins.ml | |
| 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/Builtins.ml')
0 files changed, 0 insertions, 0 deletions