fix nits

egraphs-good · Aug 7, 2024 · a555b2f · a555b2f
1 parent dc00449
commit a555b2f
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/main.rs b/src/main.rs
@@ -1,5 +1,5 @@
 use clap::Parser;
-use egglog::{EGraph, Error, RunMode, SerializeConfig, SerializedNode};
+use egglog::{EGraph, Error, RunMode, SerializeConfig};
 use std::io::{self, BufRead, BufReader};
 use std::path::PathBuf;
 

diff --git a/src/sort/set.rs b/src/sort/set.rs
@@ -194,7 +194,6 @@ impl Sort for SetSort {
     fn serialized_name(&self, _value: &Value) -> Symbol {
         "set-of".into()
     }
-
 }
 
 impl IntoSort for ValueSet {