java: push: do not reset the error counter

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

diff --git a/src/parse-gram.y b/src/parse-gram.y
index d3698895b2728bb7211b87fe15f56202f1843dc9..1ec4b4dc79eb26a0fb34097afbd4e07abe8f48b2 100644 (file)
--- a/src/parse-gram.y
+++ b/src/parse-gram.y
@@ -627,7 +627,7 @@ rhs:
 
 named_ref.opt:
   %empty         { $$ = 0; }
-| BRACKETED_ID   { $$ = named_ref_new($1, @1); }
+| BRACKETED_ID   { $$ = named_ref_new ($1, @1); }
 ;
 
 /*---------------------.
@@ -750,7 +750,7 @@ lloc_default (YYLTYPE const *rhs, int n)
 static
 char *strip_braces (char *code)
 {
-  code[strlen(code) - 1] = 0;
+  code[strlen (code) - 1] = 0;
   return code + 1;
 }