diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-22 17:11:18 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-22 17:11:18 +0200 |
commit | 8fcdd1d52fcaec72edbe2bb93054f007392065f6 (patch) | |
tree | 5caa34fc9eb2d261b9f5bdd5d877b430d6fa0350 /driver/Compopts.v | |
parent | 036ecd1ba42585b51fffd70593106aa57fb40b29 (diff) | |
download | compcert-8fcdd1d52fcaec72edbe2bb93054f007392065f6.tar.gz compcert-8fcdd1d52fcaec72edbe2bb93054f007392065f6.zip |
Catch case of zero in builtin debug.
Diffstat (limited to 'driver/Compopts.v')
0 files changed, 0 insertions, 0 deletions