renamed Sign.ambiguity_level to Syntax.ambiguity_level
Fri, 27 Jan 1995 12:31:18 +0100
changeset 883 92abd2ad9d08
parent 882 b118d1ea0dfd
child 884 35c836adf48f
renamed Sign.ambiguity_level to Syntax.ambiguity_level
--- 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.
 {\out Warning: Ambiguous input "..."}