From e858c84a7b2af9e7ccf4ac3268129520041210d9 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 30 Jan 2017 08:24:16 +0100
Subject: Switch case for error option. Bug 19872

---
 cparser/Cerrors.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'cparser')

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 =
-- 
cgit