nit

egraphs-good · Feb 4, 2025 · 075b512 · 075b512
1 parent 189cfdf
commit 075b512
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dag_in_context/src/greedy_dag_extractor.rs b/dag_in_context/src/greedy_dag_extractor.rs
@@ -488,7 +488,7 @@ impl<'a> Extractor<'a> {
                 if let Some((existing_term, _existing_cost)) = current_costs.get(eclass) {
                     (existing_term.clone(), NotNan::new(0.).unwrap())
                 } else {
-                    let mut unshared_cost = match other_costs.get(eclass) {
+                    let unshared_cost = match other_costs.get(eclass) {
                         Some((_, cost)) => *cost,
                         // no cost stored, so it's free
                         None => NotNan::new(0.).unwrap(),