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 /cfrontend | |
| parent | dbc855fa4558d8a1b4abff4aadee0b79b814f186 (diff) | |
| download | compcert-20f226ce463221032238895264c73d2207bf31d8.tar.gz compcert-20f226ce463221032238895264c73d2207bf31d8.zip | |
Fixed typos and reverted error message. Bug 18004
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions