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 /backend/IRC.ml | |
| 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 'backend/IRC.ml')
0 files changed, 0 insertions, 0 deletions