java: rename YYMORE as YYPUSH_MORE for consistency with C

[bison.git] / doc / bison.texi

diff --git a/doc/bison.texi b/doc/bison.texi
index bd023edf268f465d5a036e59c1ad5be468daeb83..78d7d060bb17c7a67f92748cbdabcc1bde3e7d08 100644 (file)
--- a/doc/bison.texi
+++ b/doc/bison.texi
@@ -11927,8 +11927,8 @@ parameters are available only if location tracking is active.
 
 The value returned by the @code{push_parse} method is one of the following
 four constants: @code{YYABORT}, @code{YYACCEPT}, @code{YYERROR}, or
-@code{YYMORE}.  This new value, @code{YYMORE}, may be returned if more input
-is required to finish parsing the grammar.
+@code{YYPUSH_MORE}.  This new value, @code{YYPUSH_MORE}, may be returned if
+more input is required to finish parsing the grammar.
 
 If api.push-pull is declared as @code{both}, then the generated parser class
 will also implement the @code{parse} method. This method's body is a loop