diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-10-28 07:24:52 -0700 |
---|---|---|
committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-10-28 07:24:52 -0700 |
commit | 3af0034cced33aaf8284f617d1cd6d3e9484102f (patch) | |
tree | 3a440c3ec6a534c29e63bc3ef18c10eeb4472a4a /common/Subtyping.v | |
parent | db1be72f045a377b99788f160362036e4c3e9271 (diff) | |
parent | 0e9ce30b09291812b14230f14a0614a2deee47a7 (diff) | |
download | compcert-3af0034cced33aaf8284f617d1cd6d3e9484102f.tar.gz compcert-3af0034cced33aaf8284f617d1cd6d3e9484102f.zip |
Merge pull request #62 from fpottier/comment
Fixed some comments.
Diffstat (limited to 'common/Subtyping.v')
0 files changed, 0 insertions, 0 deletions