diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-21 16:56:17 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-21 16:56:17 +0200 |
| commit | cea20127183438dec1073706543f1fa90e9ba696 (patch) | |
| tree | cd3957b27c874398e9b92af87efca7a57774a65c /cfrontend | |
| parent | 7ea84da5144e28d68dca5a22e3b868d7ac7ad285 (diff) | |
| download | compcert-cea20127183438dec1073706543f1fa90e9ba696.tar.gz compcert-cea20127183438dec1073706543f1fa90e9ba696.zip | |
Fix typo in option name. Bug 18004
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions