diff --git a/doc/bison.texi b/doc/bison.texi index ec78af7e..c3099cfc 100644 --- a/doc/bison.texi +++ b/doc/bison.texi @@ -11910,7 +11910,7 @@ Abbreviations allow for more readable rules. @example id [a-zA-Z][a-zA-Z_0-9]* int [0-9]+ -blank [ \t] +blank [ \t\r] @end example @noindent