From 50b6f685259f0326ea0c44cdd3503739455d5993 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 26 Nov 2019 09:15:26 +0100
Subject: Added back unused_ais_parameter warning.

---
 cparser/Diagnostics.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cparser')

diff --git a/cparser/Diagnostics.ml b/cparser/Diagnostics.ml
index e24b8e68..7957375c 100644
--- a/cparser/Diagnostics.ml
+++ b/cparser/Diagnostics.ml
@@ -131,6 +131,7 @@ let all_warnings =
     (Unused_variable, false);
     (Unused_parameter, false);
     (Wrong_ais_parameter, true);
+    (Unused_ais_parameter, true);
     (Ignored_attributes, true);
     (Extern_after_definition, true);
     (Static_in_inline, true);
-- 
cgit