Do not warn of unused empty rules
This commit is contained in:
parent
f3d16b4bd6
commit
06f2cd4487
|
@ -281,7 +281,7 @@ main(int argc, char **argv)
|
|||
while(rewrite())
|
||||
if(!cycles--) return !fprintf(stdout, "Modal rewrites exceeded.\n");
|
||||
while(rules_-- > rules && !quiet)
|
||||
if(!rules_->refs) printf("-- Unused rule: %d <> (%s) (%s)\n", rules_->refs, rules_->a, rules_->b);
|
||||
if(!rules_->refs && rules_->a) printf("-- Unused rule: %d <> (%s) (%s)\n", rules_->refs, rules_->a, rules_->b);
|
||||
if(!quiet) printf(".. %s\n", src_);
|
||||
return 0;
|
||||
}
|
Loading…
Reference in New Issue