From 19d4b4e41a967c0c8b3329cd1c4a0617178c5a94 Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Tue, 17 Dec 2024 19:47:14 +0100
Subject: Lean 4.14

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

(limited to 'Day8.lean')

diff --git a/Day8.lean b/Day8.lean
index 62dc1fa..079e485 100644
--- a/Day8.lean
+++ b/Day8.lean
@@ -290,7 +290,7 @@ private def findFirstCommonCyclingGoal (waypoints : Std.HashMap WaypointId Conne
   let cyclingGoals := startPositions.map $ findCyclingGoalsInPath waypoints instructions possibleStarts
   let combinedGoals : List CyclingGoal := match cyclingGoals with
     | [] => []
-    | g :: gs => flip gs.foldl g λc n ↦ c.bind λ cc ↦ n.filterMap λ nn ↦ nn.combine cc
+    | g :: gs => flip gs.foldl g λc n ↦ c.flatMap λ cc ↦ n.filterMap λ nn ↦ nn.combine cc
   let cyclingGoalStarts := combinedGoals.map CyclingGoal.start
   cyclingGoalStarts.min?
 
-- 
cgit v1.2.3

