diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-15 11:00:24 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-15 11:00:24 +0100 |
commit | 34a7ec51c1f1bbfeb973f8e295ac81b65c70251c (patch) | |
tree | b5d1de65396c1bd08e44c282ffd59ab0ba876e8f /LICENSE | |
parent | bac2a0854ea51217690bc6f225da62053ed7ac06 (diff) | |
download | compcert-34a7ec51c1f1bbfeb973f8e295ac81b65c70251c.tar.gz compcert-34a7ec51c1f1bbfeb973f8e295ac81b65c70251c.zip |
Revert "Removed unused parameter from is_small/rel_data."
This reverts commit bac2a0854ea51217690bc6f225da62053ed7ac06.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions