diff options
-rw-r--r-- | cparser/Cerrors.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/Cerrors.ml b/cparser/Cerrors.ml index 23053096..b8df328e 100644 --- a/cparser/Cerrors.ml +++ b/cparser/Cerrors.ml @@ -221,11 +221,11 @@ let key_of_warning w = (* Add -Werror to the printed keys *) let key_add_werror w = if !diagnostics_show_option then - None - else match w with | None -> Some ("-Werror") | Some s -> Some ("-Werror,"^s) + else + None (* Lookup how to print the warning *) let classify_warning w = |