Merge remote-tracking branch 'origin/maint'

[bison.git] / src / getargs.h

diff --git a/src/getargs.h b/src/getargs.h
index 22538cf3ee17bfe5b129c66d260cb0ae753a4ec3..1d8c9d545d7457552a36a5e8df3d5b2ff3c751b4 100644 (file)
--- a/src/getargs.h
+++ b/src/getargs.h
@@ -34,16 +34,12 @@ extern int skeleton_prio;
 /* for -I */
 extern char const *include;
 
-extern bool debug_flag;                        /* for -t */
-extern bool defines_flag;              /* for -d */
-extern bool graph_flag;                        /* for -g */
-extern bool xml_flag;                  /* for -x */
-extern bool locations_flag;
-extern bool no_lines_flag;             /* for -l */
-extern bool token_table_flag;          /* for -k */
-extern bool yacc_flag;                 /* for -y */
-
-extern bool error_verbose;
+extern bool defines_flag;               /* for -d */
+extern bool graph_flag;                 /* for -g */
+extern bool xml_flag;                   /* for -x */
+extern bool no_lines_flag;              /* for -l */
+extern bool token_table_flag;           /* for -k */
+extern bool yacc_flag;                  /* for -y */
 
 
 /* GLR_PARSER is true if the input file says to use the GLR