1 files changed, 1 insertions, 1 deletions
diff --git a/Day13.lean b/Day13.lean
index 22dc0b5..25f1f37 100644
--- a/Day13.lean
+++ b/Day13.lean
@@ -51,7 +51,7 @@ match parse input with
   <;> simp only [Bool.false_eq_true, ↓reduceIte, gt_iff_lt]
   rw[←List.mapM'_eq_mapM]
   unfold List.mapM'
-  have h₂ : (input.toSubstring.splitOn "\n\n") ≠ [] := List.isEmpty_eq_false.mp h₁
+  have h₂ : (input.toSubstring.splitOn "\n\n") ≠ [] := List.isEmpty_eq_false_iff.mp h₁
   cases h₃ : input.toSubstring.splitOn "\n\n"
   case false.nil => contradiction
   case false.cons b bs =>