nits

egraphs-good · Jan 5, 2025 · 731f1da · 731f1da
1 parent 3b278a9
commit 731f1da
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -1,13 +1,11 @@
 pub use egglog::*;
-use sugar::{For, WithRuleset};
 use std::sync::Arc;
+use sugar::{For, WithRuleset};
 
 mod rational;
 mod sugar;
 pub use rational::*;
 
-
-
 pub fn new_experimental_egraph() -> EGraph {
     let mut egraph = EGraph::default();
     egraph.add_arcsort(Arc::new(RationalSort), span!()).unwrap();