diff --git a/src/explain.rs b/src/explain.rs
index 61ad5dc6..9b3c2bb0 100644
--- a/src/explain.rs
+++ b/src/explain.rs
@@ -1,7 +1,7 @@
 use crate::Symbol;
 use crate::{
-    util::pretty_print, Analysis, EClass, ENodeOrVar, FromOp, HashMap, HashSet, Id, Language,
-    PatternAst, Expr, Rewrite, UnionFind, Var,
+    util::pretty_print, Analysis, EClass, ENodeOrVar, Expr, FromOp, HashMap, HashSet, Id, Language,
+    PatternAst, Rewrite, UnionFind, Var,
 };
 use saturating::Saturating;
 use std::cmp::Ordering;
diff --git a/src/extract.rs b/src/extract.rs
index 95f01a83..72d34e4a 100644
--- a/src/extract.rs
+++ b/src/extract.rs
@@ -2,7 +2,7 @@ use std::cmp::Ordering;
 use std::fmt::Debug;
 
 use crate::util::HashMap;
-use crate::{Analysis, EClass, EGraph, Id, Language, Expr};
+use crate::{Analysis, EClass, EGraph, Expr, Id, Language};
 
 /** Extracting a single [`Expr`] from an [`EGraph`].