diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-02-22 16:57:02 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:06 +0200 |
commit | f1d3dbb3fa70233d1ad83ae88876dd384346a16a (patch) | |
tree | 356dd54e5ae0a960eaa60a7b174ceb4fa750f9fc /backend/Lineartyping.v | |
parent | 6a3f3a62452670380827f9e39dd28c5092741099 (diff) | |
download | compcert-kvx-f1d3dbb3fa70233d1ad83ae88876dd384346a16a.tar.gz compcert-kvx-f1d3dbb3fa70233d1ad83ae88876dd384346a16a.zip |
Changed ptr64 to be always true
Diffstat (limited to 'backend/Lineartyping.v')
0 files changed, 0 insertions, 0 deletions