diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-01-15 10:28:40 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-01-15 10:28:40 +0100 |
commit | ce7013f94c97b0e46da03c97812b38df001fbc9d (patch) | |
tree | 878fce9d31a4a02b8699f9cdadf4794c811df049 /lib/Responsefile.mli | |
parent | 879ba4632717690cb3fbf0010b038fe6dc3c231e (diff) | |
download | compcert-ce7013f94c97b0e46da03c97812b38df001fbc9d.tar.gz compcert-ce7013f94c97b0e46da03c97812b38df001fbc9d.zip |
Use Ptrofs.repr instead of Int.repr for Init_addrof. (#51)
This should fix issue 216 and also allows it to print 64 bit offsets.
Diffstat (limited to 'lib/Responsefile.mli')
0 files changed, 0 insertions, 0 deletions