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 {