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 /arm/Asmgen.v | |
| 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 'arm/Asmgen.v')
0 files changed, 0 insertions, 0 deletions