Do not let the scan-skel token buffer grow unboundedly in the usual case.

[bison.git] / src / parse-gram.y

diff --git a/src/parse-gram.y b/src/parse-gram.y
index e88630188a2bdbe7e7cf7f7f75beb9f4349b30bc..c5d8024fa3315a258532360d99777698d2e94523 100644 (file)
--- a/src/parse-gram.y
+++ b/src/parse-gram.y
@@ -189,7 +189,7 @@ declaration:
 | "%pure-parser"                           { pure_parser = 1; }
 | "%skeleton" string_content               { skeleton = $2; }
 | "%token-table"                           { token_table_flag = 1; }
 | "%pure-parser"                           { pure_parser = 1; }
 | "%skeleton" string_content               { skeleton = $2; }
 | "%token-table"                           { token_table_flag = 1; }

-| "%verbose"                               { report_flag = 1; }
+| "%verbose"                               { report_flag = report_states; }

 | "%yacc"                                  { yacc_flag = 1; }
 | ";"
 ;
 | "%yacc"                                  { yacc_flag = 1; }
 | ";"
 ;