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 | |
| parent | 036ecd1ba42585b51fffd70593106aa57fb40b29 (diff) | |
| download | compcert-8fcdd1d52fcaec72edbe2bb93054f007392065f6.tar.gz compcert-8fcdd1d52fcaec72edbe2bb93054f007392065f6.zip | |
Catch case of zero in builtin debug.
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions