Lean 4.25feature/day17

1 files changed, 1 insertions, 1 deletions

diff --git a/Day9.lean b/Day9.lean
index ac8edd8..38c69f0 100644
--- a/Day9.lean
+++ b/Day9.lean
@@ -3,7 +3,7 @@ import «Common»
 namespace Day9
 
 private def parseLine (line : String) : Except String $ List Int :=
-  line.split Char.isWhitespace
+  line.splitToList Char.isWhitespace
   |> List.map String.trim
   |> List.filter String.notEmpty
   |> List.mapM String.toInt?