diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-15 12:55:31 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-15 12:55:31 +0100 |
| commit | 2185164c1845c30ebd4118ed5bc8d339b16663a9 (patch) | |
| tree | ddba4ddb188d4a759829bfafb0777409f34376f6 /cparser/PackedStructs.ml | |
| parent | 34a7ec51c1f1bbfeb973f8e295ac81b65c70251c (diff) | |
| download | compcert-kvx-2185164c1845c30ebd4118ed5bc8d339b16663a9.tar.gz compcert-kvx-2185164c1845c30ebd4118ed5bc8d339b16663a9.zip | |
Added back invariant checks for IRC.
Since the invariant checks are not currently used and they are not
exported they are renamed to include a _ to avoid warning.
Bug 18394
Diffstat (limited to 'cparser/PackedStructs.ml')
0 files changed, 0 insertions, 0 deletions