Remove special names field

egraphs-good · Oct 7, 2024 · 3dee1f4 · 3dee1f4
1 parent 84bcd6b
commit 3dee1f4
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/util.rs b/src/util.rs
@@ -68,15 +68,13 @@ where
 pub struct SymbolGen {
     gen: usize,
     reserved_string: String,
-    special_reserved: HashMap<Symbol, String>,
 }
 
 impl SymbolGen {
     pub fn new(reserved_string: String) -> Self {
         Self {
             gen: 0,
             reserved_string,
-            special_reserved: HashMap::default(),
         }
     }