diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-02 14:43:34 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-21 14:00:56 +0200 |
| commit | 8f444dec7112e5b125bf3ead8481ae0f698bbb96 (patch) | |
| tree | 1f38a3b177eef95bfb4465caadf4aaaa57124a6d /Makefile.extr | |
| parent | 3c4f1377395494e8f706b829d0b69e9c33b6a5b8 (diff) | |
| download | compcert-kvx-8f444dec7112e5b125bf3ead8481ae0f698bbb96.tar.gz compcert-kvx-8f444dec7112e5b125bf3ead8481ae0f698bbb96.zip | |
Pass the updated env through elab_expr.
Since casts, sizeof, etc. expressions can introduce new types
we also need to add these to the environment and pass it through.
Bug 17814
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions