diff options
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" |