Remove unused import

egraphs-good · Sep 11, 2024 · b3eaf72 · b3eaf72
1 parent 67d3b40
commit b3eaf72
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/tests/integration_test.rs b/tests/integration_test.rs
@@ -1,6 +1,4 @@
-use egglog::{
-    ast::Expr, sort::EqSort, EGraph, ExtractReport, Function, SerializeConfig, Term, Value,
-};
+use egglog::{ast::Expr, EGraph, ExtractReport, Function, SerializeConfig, Term, Value};
 use symbol_table::GlobalSymbol;
 
 #[test]