From 06f2cd4487429f794bb4c523246b73a6903db9ad Mon Sep 17 00:00:00 2001 From: Devine Lu Linvega Date: Fri, 26 Apr 2024 21:37:08 -0700 Subject: [PATCH] Do not warn of unused empty rules --- src/modal.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/modal.c b/src/modal.c index 21f0f64..43d40de 100644 --- a/src/modal.c +++ b/src/modal.c @@ -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; } \ No newline at end of file