# HG changeset patch
# User wenzelm
# Date 876236765 -7200
# Node ID 5ba459e15dd7d207f9cc8e5d8a11b510393018dd
# Parent  5a74678c8645f7f5bfc5afc3a4cdf983ce93930e
tuned warning msg;

diff -r 5a74678c8645 -r 5ba459e15dd7 doc-src/Ref/defining.tex
--- a/doc-src/Ref/defining.tex	Tue Oct 07 12:37:53 1997 +0200
+++ b/doc-src/Ref/defining.tex	Tue Oct 07 17:06:05 1997 +0200
@@ -724,11 +724,11 @@
 many parse trees are necessary to generate the warning.
 
 \begin{ttbox}
-{\out Warning: Ambiguous input "..."}
+{\out Ambiguous input "\dots"}
 {\out produces the following parse trees:}
-{\out ...}
+{\out \dots}
 {\out Fortunately, only one parse tree is type correct.}
-{\out It helps (speed!) if you disambiguate your grammar or your input.}
+{\out You may still want to disambiguate your grammar or your input.}
 \end{ttbox}
 
 The following message is normally caused by using the same