From a555b2f5e82c684442775cc1a5da94b71930113c Mon Sep 17 00:00:00 2001
From: Saul Shanabrook <s.shanabrook@gmail.com>
Date: Wed, 7 Aug 2024 14:17:40 -0400
Subject: [PATCH] fix nits

---
 src/main.rs     | 2 +-
 src/sort/set.rs | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index 572d8231..f5bda658 100644
--- 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
index 28e7464c..981d1cdd 100644
--- 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 {