delete comment

egraphs-good · May 17, 2024 · f8be841 · f8be841
1 parent 53a35fd
commit f8be841
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/dag_in_context/src/pretty_print.rs b/dag_in_context/src/pretty_print.rs
@@ -156,8 +156,6 @@ impl PrettyPrinter {
         fold_when: &dyn Fn(usize, usize) -> bool,
         binding: String,
     ) -> String {
-        // let mut log = Vec::new();
-        // let mut table = std::collections::BTreeMap::<String, SymbolLog>::new();
         self.assign_fresh_var(&self.expr.clone());
         let res = self.fold_expr(&self.expr.clone(), fold_when, false);
         let log = self