cargo fmt

egraphs-good · Apr 24, 2024 · 476c4df · 476c4df
1 parent 0ef9daa
commit 476c4df
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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`].