diff options
Diffstat (limited to 'cparser/Diagnostics.ml')
| -rw-r--r-- | cparser/Diagnostics.ml | 1 |
1 files changed, 0 insertions, 1 deletions
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; |