From 545df304d7c17acc475fb1b37f16959fcc430f6a Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sun, 3 Jun 2018 17:29:15 +0200
Subject: Turn off the warning "C11 extension" by default

These are extensions w.r.t. C99, not incompatible changes.
Nothing bad can happen if those C11 features are used, except making
the code incompatible with C99.
---
 cparser/Diagnostics.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'cparser/Diagnostics.ml')

diff --git a/cparser/Diagnostics.ml b/cparser/Diagnostics.ml
index 91acd161..0ab2c1e4 100644
--- a/cparser/Diagnostics.ml
+++ b/cparser/Diagnostics.ml
@@ -99,7 +99,6 @@ type warning_type =
 let active_warnings: warning_type list ref = ref [
   Unnamed;
   Unknown_attribute;
-  Celeven_extension;
   Gnu_empty_struct;
   Missing_declarations;
   Constant_conversion;
-- 
cgit