From ff5d96096a474755efda1a97cc5295c6e215cdb5 Mon Sep 17 00:00:00 2001
From: Cameron Zwarich <cameron@lean-fro.org>
Date: Sun, 6 Jul 2025 14:31:47 -0700
Subject: [PATCH] chore: use Array instead of PArray in elimDeadBranches state
 (#9220)

This is alway used linearly.
---
 src/Lean/Compiler/LCNF/ElimDeadBranches.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Lean/Compiler/LCNF/ElimDeadBranches.lean b/src/Lean/Compiler/LCNF/ElimDeadBranches.lean
index 80a4be3bca..06e459578b 100644
--- a/src/Lean/Compiler/LCNF/ElimDeadBranches.lean
+++ b/src/Lean/Compiler/LCNF/ElimDeadBranches.lean
@@ -302,7 +302,7 @@ structure InterpState where
   `Value`s of functions in the `InterpContext` use during computation of
   the fixpoint. Afterwards they are stored into the `Environment`.
   -/
-  funVals     : PArray Value
+  funVals     : Array Value
 
 /--
 The monad which powers the abstract interpreter.