From 21096c5e4eae72af82121fc0eabc38a3df9ba103 Mon Sep 17 00:00:00 2001
From: Anton Lorenzen <anfelor@posteo.de>
Date: Sat, 30 Mar 2024 13:35:55 +0000
Subject: [PATCH] feat: Enable new pass

---
 src/Lean/Compiler/IR/ExpandResetReuse.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Lean/Compiler/IR/ExpandResetReuse.lean b/src/Lean/Compiler/IR/ExpandResetReuse.lean
index d6e4208b7f36..573da9ec36ea 100644
--- 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 #[]