1 files changed, 1 insertions, 0 deletions
diff --git a/options.h b/options.h
index 070c0dd8..90358752 100644
--- a/options.h
+++ b/options.h
@@ -112,6 +112,7 @@ extern int Woverride_init;
 extern int Woverride_init_all;
 extern int Woverride_init_whole_range;
 extern int Wparen_string;
+extern int Wpast_deep_designator;
 extern int Wpedantic;
 extern int Wpointer_arith;
 extern int Wpointer_to_int_cast;