1 files changed, 1 insertions, 1 deletions

diff --git a/Day16.lean b/Day16.lean
index ec602ca..7e5d3a9 100644
--- a/Day16.lean
+++ b/Day16.lean
@@ -267,7 +267,7 @@ private theorem SeenExitDirections.countExitDirections_increasesWhenSet {table :
   unfold Parsing.RectangularGrid.Coordinate.toIndex at h₁ ⊢
   unfold Array.set
   simp[←Array.foldl_toList] at h₁ ⊢
-  rw[Array.getElem_eq_getElem_toList] at h₁ ⊢
+  rw[←Array.getElem_toList] at h₁ ⊢
   apply countExitDirections_increasesWhenSet_Aux
   assumption