diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-10 10:45:58 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-10 10:45:58 +0100 |
commit | b38eba3c9806f050d942353bb9e18ed9fb1a58d4 (patch) | |
tree | d4ff250d3520c099fb0cc0df3d8991efb8d0048e /common/Globalenvs.v | |
parent | 5df29e2caa1ec95a3ddbcaf49d686998b0696855 (diff) | |
download | compcert-b38eba3c9806f050d942353bb9e18ed9fb1a58d4.tar.gz compcert-b38eba3c9806f050d942353bb9e18ed9fb1a58d4.zip |
Minor improvements.
Diffstat (limited to 'common/Globalenvs.v')
0 files changed, 0 insertions, 0 deletions