diff --git a/src/main.rs b/src/main.rs index 572d82314..f5bda6586 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;