Adjust a mem::take line on linearize_vars

HigherOrderCO · Feb 29, 2024 · 86d3d4d · 86d3d4d
1 parent 5725dc6
commit 86d3d4d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/term/transform/linearize_vars.rs b/src/term/transform/linearize_vars.rs
@@ -90,8 +90,8 @@ fn term_to_affine(term: &mut Term, inst_count: &mut HashMap<Name, u64>) {
         term_to_affine(val, inst_count);
       } else {
         let Term::Let { nxt, .. } = term else { unreachable!() };
-        let nxt = std::mem::take(nxt);
-        *term = *nxt;
+        let nxt = std::mem::take(nxt.as_mut());
+        *term = nxt;
       }
     }