diff options
Diffstat (limited to 'doc/bison.texinfo')
| -rw-r--r-- | doc/bison.texinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/bison.texinfo b/doc/bison.texinfo index 7fb05155..62471f46 100644 --- 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 |