feat: Enable new pass

opencompl · Mar 30, 2024 · 21096c5 · 21096c5
1 parent 0835419
commit 21096c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Lean/Compiler/IR/ExpandResetReuse.lean b/src/Lean/Compiler/IR/ExpandResetReuse.lean
@@ -322,7 +322,7 @@ partial def expand
 
 partial def searchAndExpand : FnBody → Array FnBody → M FnBody
   | FnBody.vdecl x _ (Expr.reset n y) b, bs =>
-      expand bs x n y b
+      mkNewPath bs x n y b
   | FnBody.jdecl j xs v b,   bs => do
     let v ← searchAndExpand v #[]
     let b ← searchAndExpand b #[]