diff --git a/src/lib.rs b/src/lib.rs index b635049..9231809 100644 --- 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();