src/Pure/Syntax/parser.ML

           movedot_lambda (B, j, tss, Nonterminal (A, k) :: sa, id, i) ts
       else movedot_lambda (B, j, tss, Nonterminal (A, k) :: sa, id, i) ts;
 
 
 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*)
 fun prods_for prods chains include_none tk nts =
 let (*similar to token_assoc but does not automatically include 'None' key*)