diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-31 14:21:50 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-31 14:21:50 +0100 |
commit | 3581ae495677aeca93f013d67a4d4f7c171d9cc0 (patch) | |
tree | 8508b05e2ce313cdb7bd5504805580a655aa9813 /x86_32 | |
parent | 1fe7f0c7ec5e1a4425eb09939d0e8f6143f1f913 (diff) | |
download | compcert-3581ae495677aeca93f013d67a4d4f7c171d9cc0.tar.gz compcert-3581ae495677aeca93f013d67a4d4f7c171d9cc0.zip |
Normalize offset to size_t kind.
Diffstat (limited to 'x86_32')
0 files changed, 0 insertions, 0 deletions