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

[bison.git] / src / getargs.c

diff --git a/src/getargs.c b/src/getargs.c
index e3ffdb68feeb3221072424c6d5e560cc21b688fc..76e3823f21ae0098d2020bfe61bdc44e45e9ac3c 100644 (file)
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -34,9 +34,9 @@ int no_lines_flag = 0;
 int no_parser_flag = 0;
 int token_table_flag = 0;
 int verbose_flag = 0;
-int statistics_flag = 0;
 int yacc_flag = 0;     /* for -y */
 int graph_flag = 0;
+int trace_flag = 0;
 
 const char *skeleton = NULL;