rename total-rules as total-rewrites in src/language.rs

ninehusky · Jan 27, 2025 · 6e8556c · 6e8556c
1 parent 12dede0
commit 6e8556c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/language.rs b/src/language.rs
@@ -231,7 +231,7 @@ pub trait ChompyLanguage {
 
 ;;; forward ruleset definitions
 (ruleset eclass-report)
-(ruleset total-rules)
+(ruleset total-rewrites)
 (ruleset cond-rewrites)
 
 ;;; a "function", more or less, that prints out each e-class and its