1 files changed, 0 insertions, 1 deletions
diff --git a/awk.h b/awk.h
index 8a5c6eb8..61354cd0 100644
--- a/awk.h
+++ b/awk.h
@@ -876,7 +876,6 @@ extern int do_tidy_mem;
 extern int do_sandbox;
 extern int do_optimize;
 extern int use_lc_numeric;
-extern int whiny_users;
 extern int exit_val;
 
 #ifdef NO_LINT