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/SimplExpr.v | |
parent | 7ea84da5144e28d68dca5a22e3b868d7ac7ad285 (diff) | |
download | compcert-cea20127183438dec1073706543f1fa90e9ba696.tar.gz compcert-cea20127183438dec1073706543f1fa90e9ba696.zip |
Fix typo in option name. Bug 18004
Diffstat (limited to 'cfrontend/SimplExpr.v')
0 files changed, 0 insertions, 0 deletions