-Wdouble-declaration on by default

diff --git a/main.c b/main.c
index a73f3f1df3f7e29f6d4c4992e6e94a1598355ca4..73e813d554d0f467c1aeb93223a371a22d85553b 100644 (file)
--- a/main.c
+++ b/main.c
@@ -446,6 +446,7 @@ int main(int argc, char **argv) {
     options_set(opts_warn, WARN_ASSIGN_FUNCTION_TYPES, true);
     options_set(opts_warn, WARN_PREPROCESSOR, true);
     options_set(opts_warn, WARN_MULTIFILE_IF, true);
+    options_set(opts_warn, WARN_DOUBLE_DECLARATION, true);
 
     options_set(opts_flags, ADJUST_VECTOR_FIELDS, true);
     options_set(opts_flags, FTEPP, false);