1.1 --- a/doc-src/Ref/defining.tex	Tue Oct 07 17:06:05 1997 +0200
     1.2 +++ b/doc-src/Ref/defining.tex	Tue Oct 07 17:08:48 1997 +0200
     1.3 @@ -735,11 +735,11 @@
     1.4  syntax in two different productions:
     1.5  
     1.6  \begin{ttbox}
     1.7 -{\out Warning: Ambiguous input "..."}
     1.8 +{\out Ambiguous input "..."}
     1.9  {\out produces the following parse trees:}
    1.10 -{\out ...}
    1.11 -{\out Error: More than one term is type correct:}
    1.12 -{\out ...}
    1.13 +{\out \dots}
    1.14 +{\out More than one term is type correct:}
    1.15 +{\out \dots}
    1.16  \end{ttbox}
    1.17  
    1.18  Ambiguities occuring in syntax translation rules cannot be resolved by