Merged with egg master

eytans · Aug 9, 2024 · c2dd230 · c2dd230
1 parent 50d247e
commit c2dd230
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/src/explain.rs b/src/explain.rs
@@ -15,12 +15,6 @@ use num_bigint::BigUint;
 use num_traits::identities::{One, Zero};
 use symbolic_expressions::Sexp;
 
-use crate::Symbol;
-use crate::{
-    util::pretty_print, Analysis, EClass, ENodeOrVar, FromOp, HashMap, HashSet, Id, Language,
-    PatternAst, RecExpr, Rewrite, UnionFind, Var,
-};
-
 type ProofCost = BigUint;
 
 const CONGRUENCE_LIMIT: usize = 2;