1 files changed, 2 insertions, 0 deletions
diff --git a/lib.h b/lib.h
index 37ae02a3..d3cf1958 100644
--- a/lib.h
+++ b/lib.h
@@ -135,6 +135,8 @@ extern int Wuninitialized;
 extern int Wunknown_attribute;
 extern int Wvla;
 
+extern int dump_macro_defs;
+
 extern int dbg_entry;
 extern int dbg_dead;