diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-24 14:29:59 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-24 14:34:59 +0200 |
commit | abec89a558d952dc1f4f39bda6a8e69a426a8dc0 (patch) | |
tree | e5d59956985908e8c1d641cc196b7c81717d4e60 /test/spass/LICENSE.TXT | |
parent | a2b28d5e12797c2b35f49cfba2e3ec005da9377b (diff) | |
download | compcert-abec89a558d952dc1f4f39bda6a8e69a426a8dc0.tar.gz compcert-abec89a558d952dc1f4f39bda6a8e69a426a8dc0.zip |
cparser/PackedStructs: fix assertion that was wrong for 64-bit targets
Diffstat (limited to 'test/spass/LICENSE.TXT')
0 files changed, 0 insertions, 0 deletions