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 /powerpc/SelectLongproof.v | |
| parent | a8a59e25447e61f4250d54187854cc3a36038c37 (diff) | |
| download | compcert-kvx-0d783f1aa5e4f94b713588fb272ecca6a1bc23ca.tar.gz compcert-kvx-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 'powerpc/SelectLongproof.v')
0 files changed, 0 insertions, 0 deletions