1.1 --- a/doc-src/Ref/defining.tex	Tue Oct 07 12:37:53 1997 +0200
     1.2 +++ b/doc-src/Ref/defining.tex	Tue Oct 07 17:06:05 1997 +0200
     1.3 @@ -724,11 +724,11 @@
     1.4  many parse trees are necessary to generate the warning.
     1.5  
     1.6  \begin{ttbox}
     1.7 -{\out Warning: Ambiguous input "..."}
     1.8 +{\out Ambiguous input "\dots"}
     1.9  {\out produces the following parse trees:}
    1.10 -{\out ...}
    1.11 +{\out \dots}
    1.12  {\out Fortunately, only one parse tree is type correct.}
    1.13 -{\out It helps (speed!) if you disambiguate your grammar or your input.}
    1.14 +{\out You may still want to disambiguate your grammar or your input.}
    1.15  \end{ttbox}
    1.16  
    1.17  The following message is normally caused by using the same