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 /cparser/Cutil.mli | |
| parent | 1fe7f0c7ec5e1a4425eb09939d0e8f6143f1f913 (diff) | |
| download | compcert-3581ae495677aeca93f013d67a4d4f7c171d9cc0.tar.gz compcert-3581ae495677aeca93f013d67a4d4f7c171d9cc0.zip | |
Normalize offset to size_t kind.
Diffstat (limited to 'cparser/Cutil.mli')
0 files changed, 0 insertions, 0 deletions