maint: address sc_prohibit_doubled_word.

[bison.git] / doc / bison.texinfo

diff --git a/doc/bison.texinfo b/doc/bison.texinfo
index 7fb051553684245f3a40256a2a661468c8e96e68..62471f469f674db4dfae981a29d81dcd4dd4d39e 100644 (file)
--- a/doc/bison.texinfo
+++ b/doc/bison.texinfo
@@ -4194,7 +4194,7 @@ In references, in order to specify names containing dots and dashes, an explicit
 bracketed syntax @code{$[name]} and @code{@@[name]} must be used:
 @example
 @group
-if-stmt: IF '(' expr ')' THEN then.stmt ';'
+if-stmt: "if" '(' expr ')' "then" then.stmt ';'
   @{ $[if-stmt] = new_if_stmt ($expr, $[then.stmt]); @}
 @end group
 @end example