diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-09 11:15:06 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-09 11:15:06 +0200 |
commit | 0d783f1aa5e4f94b713588fb272ecca6a1bc23ca (patch) | |
tree | 4567faa2a5c71e906db559ba57d1e811daf9cc65 /exportclight/Clightnorm.ml | |
parent | a8a59e25447e61f4250d54187854cc3a36038c37 (diff) | |
download | compcert-0d783f1aa5e4f94b713588fb272ecca6a1bc23ca.tar.gz compcert-0d783f1aa5e4f94b713588fb272ecca6a1bc23ca.zip |
SimlLocals.Sdebug_var: wrong type for 64-bit platforms
Fixes: Github issue #190.
Tint was used instead of the correct Tptr.
Diffstat (limited to 'exportclight/Clightnorm.ml')
0 files changed, 0 insertions, 0 deletions