From 3a9ff92902df508074daa3017d1a71dae7e85248 Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Sun, 16 Nov 2025 21:08:35 +0100
Subject: Lean 4.25

---
 Day9.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Day9.lean')

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?
-- 
cgit v1.2.3