diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-27 18:35:34 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-27 18:35:34 +0100 |
commit | cb19f7307cfe0beb4ae16c53005c6d0df8162f4a (patch) | |
tree | 8ac47da93df3089e39891edc91fbeff40b9837da /common/Behaviors.v | |
parent | 5fc20400421e12c91ec5f47fde1b3ea25d1da30e (diff) | |
download | compcert-cb19f7307cfe0beb4ae16c53005c6d0df8162f4a.tar.gz compcert-cb19f7307cfe0beb4ae16c53005c6d0df8162f4a.zip |
Added the type information to the global information stored for each atom.
Diffstat (limited to 'common/Behaviors.v')
0 files changed, 0 insertions, 0 deletions