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 /cparser | |
parent | 7ea84da5144e28d68dca5a22e3b868d7ac7ad285 (diff) | |
download | compcert-cea20127183438dec1073706543f1fa90e9ba696.tar.gz compcert-cea20127183438dec1073706543f1fa90e9ba696.zip |
Fix typo in option name. Bug 18004
Diffstat (limited to 'cparser')
-rw-r--r-- | cparser/Cerrors.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Cerrors.ml b/cparser/Cerrors.ml index dc0258a5..9ca04a62 100644 --- a/cparser/Cerrors.ml +++ b/cparser/Cerrors.ml @@ -96,7 +96,7 @@ let string_of_warning = function | Celeven_extension -> "c11-extensions" | Gnu_empty_struct -> "gnu-empty-struct" | Missing_declarations -> "missing-declarations" - | Constant_conversion -> "constant_conversion" + | Constant_conversion -> "constant-conversion" | Int_conversion -> "int-conversion" | Varargs -> "varargs" | Implicit_function_declaration -> "implicit-function-declaration" |