# HG changeset patch
# User wenzelm
# Date 876236928 -7200
# Node ID f13d5b8408581d5dacd733f4b3ba8c61f63a1321
# Parent  5ba459e15dd7d207f9cc8e5d8a11b510393018dd
tuned;

diff -r 5ba459e15dd7 -r f13d5b840858 doc-src/Ref/defining.tex
--- 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