fmt and make clippy happy
@@ -633,7 +633,7 @@ impl<L: SynthLanguage> Synthesizer<L> {
let mut cp = self.egraph.clone();
let mut max_id = cp.number_of_classes();
layer.retain(|node| {
- let seen = &mut HashSet::<Id>::default();
+ // let seen = &mut HashSet::<Id>::default();
if iter > self.params.ema_above_iter {
let rec = node.to_recexpr(|id| self.egraph[id].data.simplest.as_ref());
let rec2 = L::emt_generalize(&rec);
@@ -763,7 +763,7 @@ impl<L: SynthLanguage> Synthesizer<L> {
} else {
// extracted
// let mut cp = self.egraph.clone();
- let mut valid_const = true;
+ let valid_const = true;
let lrec = L::instantiate(&eq.lhs);
let rrec = L::instantiate(&eq.rhs);
