diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-05 09:18:36 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-05 09:18:36 +0200 |
commit | 20f226ce463221032238895264c73d2207bf31d8 (patch) | |
tree | 43b5e875c5729f903e48bc3c07ff1a1db753d444 /driver/Complements.v | |
parent | dbc855fa4558d8a1b4abff4aadee0b79b814f186 (diff) | |
download | compcert-20f226ce463221032238895264c73d2207bf31d8.tar.gz compcert-20f226ce463221032238895264c73d2207bf31d8.zip |
Fixed typos and reverted error message. Bug 18004
Diffstat (limited to 'driver/Complements.v')
0 files changed, 0 insertions, 0 deletions