diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-23 09:04:04 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-23 09:04:04 +0200 |
| commit | e829671ab99a98dca212c6f29d29b952dbc1fa80 (patch) | |
| tree | 784c5a3778a32359390c32c0c205d97beb4fbfb9 /cparser/Cutil.ml | |
| parent | fbac3359c99391e470ae4aae6993a7e67234f704 (diff) | |
| download | compcert-kvx-e829671ab99a98dca212c6f29d29b952dbc1fa80.tar.gz compcert-kvx-e829671ab99a98dca212c6f29d29b952dbc1fa80.zip | |
Added types found in cast to Environment.
New types introduced in casts are now inserted into the right
Environment and carried along.
Bug 19614.
Diffstat (limited to 'cparser/Cutil.ml')
0 files changed, 0 insertions, 0 deletions