Lean 4.25feature/day17

1 files changed, 1 insertions, 1 deletions

diff --git a/Day1.lean b/Day1.lean
index d9f0c69..6943254 100644
--- a/Day1.lean
+++ b/Day1.lean
@@ -3,7 +3,7 @@ import Common
 namespace Day1
 
 def parse (input : String) : List String :=
-  input.split Char.isWhitespace |> List.filter (not ∘ String.isEmpty)
+  input.splitToList Char.isWhitespace |> List.filter (not ∘ String.isEmpty)
 
 -- Both parts could still be improved by doing two searches, one from the left, one from the right