diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-09 08:47:41 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-09 08:47:41 +0200 |
commit | 0b3de9f75047444c7ac36196f69733c4640e97be (patch) | |
tree | c7c55d1b3e1eda9491169b6f93c0cb6e965bf7ca /coq | |
parent | 52c6be30048bf9b77b9dd6bc66f052ee5386f16e (diff) | |
download | compcert-0b3de9f75047444c7ac36196f69733c4640e97be.tar.gz compcert-0b3de9f75047444c7ac36196f69733c4640e97be.zip |
Propagated the composed type constructed build during identifier lookup.
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions