Housekeeping

This commit is contained in:
Devine Lu Linvega 2024-04-26 21:04:54 -07:00
parent 49614f1a61
commit 37effa5dfd
1 changed files with 2 additions and 3 deletions

View File

@ -229,9 +229,8 @@ rewrite(void)
if(c == '>' && s[1] == '<') { if(c == '>' && s[1] == '<') {
s += 2; s += 2;
while(*s == ' ') s++; while(*s == ' ') s++;
r = find_rule(s), r->a = 0; r = find_rule(s), r->a = 0, s = walk(s);
if(!quiet && r->a) fprintf(stderr, ">< (%s)\n", r->a); if(!quiet && r->a) fprintf(stderr, ">< (%s)\n", r->a);
s = walk(s);
while(*s == ' ') s++; while(*s == ' ') s++;
return write_rule(NULL, s); return write_rule(NULL, s);
} }
@ -282,6 +281,6 @@ main(int argc, char **argv)
if(!cycles--) return !fprintf(stdout, "Modal rewrites exceeded.\n"); if(!cycles--) return !fprintf(stdout, "Modal rewrites exceeded.\n");
while(rules_-- > rules && !quiet) while(rules_-- > rules && !quiet)
if(!rules_->refs) printf("-- Unused rule: %d <> (%s) (%s)\n", rules_->refs, rules_->a, rules_->b); if(!rules_->refs) printf("-- Unused rule: %d <> (%s) (%s)\n", rules_->refs, rules_->a, rules_->b);
if(!quiet) printf(".. [%s]\n", src_); if(!quiet) printf(".. %s\n", src_);
return 0; return 0;
} }