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 /backend/PrintXTL.ml | |
parent | 34a7ec51c1f1bbfeb973f8e295ac81b65c70251c (diff) | |
download | compcert-2185164c1845c30ebd4118ed5bc8d339b16663a9.tar.gz compcert-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 'backend/PrintXTL.ml')
0 files changed, 0 insertions, 0 deletions