Merge branch 'gawk-5.1-stable'

1 files changed, 1 insertions, 1 deletions

diff --git a/main.c b/main.c
index 25008c3d..7c35139c 100644
--- a/main.c
+++ b/main.c
@@ -145,7 +145,7 @@ static void parse_args(int argc, char **argv);
 static void set_locale_stuff(void);
 static bool stopped_early = false;
 
-int do_flags = false;
+enum do_flag_values do_flags = 0;
 bool do_itrace = false;			/* provide simple instruction trace */
 bool do_optimize = true;		/* apply default optimizations */
 static int do_nostalgia = false;	/* provide a blast from the past */