# HG changeset patch
# User clasohm
# Date 791206278 -3600
# Node ID 92abd2ad9d08e85310d073a57d988894e1e895cf
# Parent  b118d1ea0dfd995fcf09843ffc8af1fc53c3ab39
renamed Sign.ambiguity_level to Syntax.ambiguity_level

diff -r b118d1ea0dfd -r 92abd2ad9d08 doc-src/Ref/defining.tex
--- a/doc-src/Ref/defining.tex	Fri Jan 27 12:30:36 1995 +0100
+++ b/doc-src/Ref/defining.tex	Fri Jan 27 12:31:18 1995 +0100
@@ -678,11 +678,9 @@
 warning is shown to remind the user that parsing is (unnecessarily)
 slowed down. In cases where it's not easily possible to eliminate the
 ambiguity the frequency of the warning can be controlled by changing
-the value of {\tt Sign.ambiguity_level} which has type {\tt int
+the value of {\tt Syntax.ambiguity_level} which has type {\tt int
 ref}. Its default value is 1 and by increasing it one can control how
-many parse trees are necessary to generate the warning. (Regardless of
-{\tt Sign.ambiguity_level} still only one of these parse trees is
-allowed to be type correct.)
+many parse trees are necessary to generate the warning.
 
 \begin{ttbox}
 {\out Warning: Ambiguous input "..."}