diff --git a/rulegen.cpp b/rulegen.cpp index d3c42d15..a18ada74 100644 --- a/rulegen.cpp +++ b/rulegen.cpp @@ -1985,7 +1985,7 @@ EX void rules_iteration() { branch_conflicts_seen.clear(); // handle dead roots -- some of their branches MUST live - for(int id=0; id= 0) { examine_branch(id, i, i); @@ -2010,7 +2010,7 @@ EX void rules_iteration() { if(examine_branch(id, fb, sb)) checks_to_skip.insert(b); }; - for(int id=0; id