* src/getargs.c (statistics_flag): Replace with...

[bison.git] / src / getargs.h

diff --git a/src/getargs.h b/src/getargs.h
index f3c3760192db0617dedb475966546dffcf801e19..4ff100bb6bd5b7883e68a9d6d26076e54fa4d206 100644 (file)
--- a/src/getargs.h
+++ b/src/getargs.h
@@ -31,11 +31,11 @@ extern int defines_flag;            /* for -d */
 extern int locations_flag;
 extern int no_lines_flag;      /* for -l */
 extern int no_parser_flag;     /* for -n */
-extern int statistics_flag;
 extern int token_table_flag;           /* for -k */
 extern int verbose_flag;       /* for -v */
 extern int graph_flag;         /* for -g */
 extern int yacc_flag;                  /* for -y */
+extern int trace_flag;
 
 void getargs PARAMS ((int argc, char *argv[]));