maint: address sc_prohibit_doubled_word.

[bison.git] / doc / bison.texinfo

diff --git a/doc/bison.texinfo b/doc/bison.texinfo
index 329d81d0d864c16dfe1c211bb684db44c86e445c..3e9333aa089f01f9cf8f474a3d3c1b741549e90e 100644 (file)
--- a/doc/bison.texinfo
+++ b/doc/bison.texinfo
@@ -4092,7 +4092,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