author | kleing |
Thu, 14 Mar 2002 16:00:29 +0100 | |
changeset 13057 | 805de10ca485 |
parent 13056 | 4fd18d409fd7 |
child 13058 | ad6106d7b4bb |
--- a/src/Pure/Syntax/parser.ML Tue Mar 12 19:20:23 2002 +0100 +++ b/src/Pure/Syntax/parser.ML Thu Mar 14 16:00:29 2002 +0100 @@ -693,7 +693,7 @@ val warned = ref false; (*flag for warning message*) -val branching_level = ref 400; (*trigger value for warnings*) +val branching_level = ref 600; (*trigger value for warnings*) (*get all productions of a NT and NTs chained to it which can be started by specified token*)