# HG changeset patch
# User wenzelm
# Date 930310671 -7200
# Node ID 3909657a7da69f7f33fa379c2c03d00b38c971b9
# Parent  eeeddde75f3fc1c22cc308c277482259cd711bad
branching_level = 400;

diff -r eeeddde75f3f -r 3909657a7da6 src/Pure/Syntax/parser.ML
--- a/src/Pure/Syntax/parser.ML	Wed Jun 23 10:40:13 1999 +0200
+++ b/src/Pure/Syntax/parser.ML	Fri Jun 25 13:37:51 1999 +0200
@@ -692,7 +692,7 @@
 
 
 val warned = ref false;                            (*flag for warning message*)
-val branching_level = ref 250;                   (*trigger value for warnings*)
+val branching_level = ref 400;                   (*trigger value for warnings*)
 
 (*get all productions of a NT and NTs chained to it which can
   be started by specified token*)