diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-30 08:24:16 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-30 08:24:16 +0100 |
| commit | e858c84a7b2af9e7ccf4ac3268129520041210d9 (patch) | |
| tree | 8f611714944fa25e04f915ee2c060fd74a0b241b /cparser | |
| parent | abaffde166972c5a0f5fdad1be716304854e33f8 (diff) | |
| download | compcert-e858c84a7b2af9e7ccf4ac3268129520041210d9.tar.gz compcert-e858c84a7b2af9e7ccf4ac3268129520041210d9.zip | |
Switch case for error option. Bug 19872
Diffstat (limited to 'cparser')
| -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 = |