1.1 --- a/doc-src/Ref/defining.tex	Thu Jan 26 12:44:50 1995 +0100
     1.2 +++ b/doc-src/Ref/defining.tex	Thu Jan 26 13:31:36 1995 +0100
     1.3 @@ -674,9 +674,15 @@
     1.4  The warning and error messages that can be produced during this process are
     1.5  as follows:
     1.6  
     1.7 -If an ambiguity can be resolved by type inference this warning
     1.8 -is shown to remind the user that parsing is (unnecessarily) slowed
     1.9 -down:
    1.10 +If an ambiguity can be resolved by type inference the following
    1.11 +warning is shown to remind the user that parsing is (unnecessarily)
    1.12 +slowed down. In cases where it's not easily possible to eliminate the
    1.13 +ambiguity the frequency of the warning can be controlled by changing
    1.14 +the value of {\tt Sign.ambiguity_level} which has type {\tt int
    1.15 +ref}. Its default value is 1 and by increasing it one can control how
    1.16 +many parse trees are necessary to generate the warning. (Regardless of
    1.17 +{\tt Sign.ambiguity_level} still only one of these parse trees is
    1.18 +allowed to be type correct.)
    1.19  
    1.20  \begin{ttbox}
    1.21  {\out Warning: Ambiguous input "..."}