# HG changeset patch
# User wenzelm
# Date 894989187 -7200
# Node ID 44c6f462c8fac64c62c2b2c1b79de70f63247d7a
# Parent  9ac1c22dfe43e45b788eb92c35c8f6a1f164a350
branching_level = 250;

diff -r 9ac1c22dfe43 -r 44c6f462c8fa src/Pure/Syntax/parser.ML
--- a/src/Pure/Syntax/parser.ML	Tue May 12 18:06:01 1998 +0200
+++ b/src/Pure/Syntax/parser.ML	Tue May 12 18:06:27 1998 +0200
@@ -692,7 +692,7 @@
 
 
 val warned = ref false;                            (*flag for warning message*)
-val branching_level = ref 200;                   (*trigger value for warnings*)
+val branching_level = ref 250;                   (*trigger value for warnings*)
 
 (*get all productions of a NT and NTs chained to it which can
   be started by specified token*)