format, nits

egraphs-good · Aug 20, 2024 · 335744a · 335744a
1 parent a8a8f9b
commit 335744a
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 7 deletions.
diff --git a/src/explain.rs b/src/explain.rs
@@ -1144,9 +1144,6 @@ impl<'x, L: Language> ExplainNodes<'x, L> {
                             &next_explanation,
                             rule,
                         ) {
-                            eprintln!("{:?}", current_explanation);
-                            eprintln!("{:?}", rule.name);
-                            eprintln!("{:?}", next_explanation);
                             return false;
                         }
                     }

diff --git a/src/rewrite.rs b/src/rewrite.rs
@@ -341,7 +341,11 @@ where
         for mat in matches {
             if egraph.are_explanations_enabled() {
                 let sast = mat.ast.as_ref().map(|cow| cow.as_ref());
-                for (subst, lhs_term) in mat.substs.iter().zip(mat.lhs_terms.as_ref().unwrap().iter()) {
+                for (subst, lhs_term) in mat
+                    .substs
+                    .iter()
+                    .zip(mat.lhs_terms.as_ref().unwrap().iter())
+                {
                     let ids = self.apply_one(egraph, *lhs_term, subst, sast, rule_name);
                     added.extend(ids)
                 }

diff --git a/tests/explanation-cycle-constant-fold.rs b/tests/explanation-cycle-constant-fold.rs
@@ -17,9 +17,7 @@ pub type Rewrite = egg::Rewrite<Math, ()>;
 pub type Runner = egg::Runner<Math, (), ()>;
 
 fn is_not_zero(var: &str) -> impl Fn(&mut EGraph, Id, &Subst) -> bool {
-    |egraph, _, subst| {
-        true
-    }
+    |egraph, _, subst| true
 }
 
 #[test]