--- a/doc-src/Ref/defining.tex Tue Oct 07 17:06:05 1997 +0200
+++ b/doc-src/Ref/defining.tex Tue Oct 07 17:08:48 1997 +0200
@@ -735,11 +735,11 @@
syntax in two different productions:
\begin{ttbox}
-{\out Warning: Ambiguous input "..."}
+{\out Ambiguous input "..."}
{\out produces the following parse trees:}
-{\out ...}
-{\out Error: More than one term is type correct:}
-{\out ...}
+{\out \dots}
+{\out More than one term is type correct:}
+{\out \dots}
\end{ttbox}
Ambiguities occuring in syntax translation rules cannot be resolved by