From 6e8556c6124cd1b33500bce3eb54decb116c046e Mon Sep 17 00:00:00 2001
From: Riddhimaan-Senapati
 <114703025+Riddhimaan-Senapati@users.noreply.github.com>
Date: Mon, 27 Jan 2025 17:39:28 -0500
Subject: [PATCH] rename total-rules as total-rewrites in src/language.rs

---
 src/language.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/language.rs b/src/language.rs
index db76a12..0f78861 100644
--- 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