increased treshold for "this expression could be extremely ambigous" warning
authorkleing
Thu Mar 14 16:00:29 2002 +0100 (2002-03-14)
changeset 13057805de10ca485
parent 13056 4fd18d409fd7
child 13058 ad6106d7b4bb
increased treshold for "this expression could be extremely ambigous" warning
src/Pure/Syntax/parser.ML
     1.1 --- a/src/Pure/Syntax/parser.ML	Tue Mar 12 19:20:23 2002 +0100
     1.2 +++ b/src/Pure/Syntax/parser.ML	Thu Mar 14 16:00:29 2002 +0100
     1.3 @@ -693,7 +693,7 @@
     1.4  
     1.5  
     1.6  val warned = ref false;                            (*flag for warning message*)
     1.7 -val branching_level = ref 400;                   (*trigger value for warnings*)
     1.8 +val branching_level = ref 600;                   (*trigger value for warnings*)
     1.9  
    1.10  (*get all productions of a NT and NTs chained to it which can
    1.11    be started by specified token*)