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