From 6aaa70943202efaa1e6b4ff8b6b8b6b94a564040 Mon Sep 17 00:00:00 2001 From: Andreas Grois Date: Sun, 12 Oct 2025 18:44:32 +0200 Subject: Lean 4.19 --- Day12.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Day12.lean') diff --git a/Day12.lean b/Day12.lean index 63410be..9395e39 100644 --- a/Day12.lean +++ b/Day12.lean @@ -161,7 +161,7 @@ def countPossiblePositions (remainingSpace : List SpringState) (remainingDamaged else 0 else - Prod.snd $ countPossiblePositionsWithDamagedMemoized Std.HashMap.empty remainingSpace remainingDamagedGroups (List.ne_nil_of_not_empty.mp $ (Bool.not_eq_true _).mp h) + Prod.snd $ countPossiblePositionsWithDamagedMemoized Std.HashMap.emptyWithCapacity remainingSpace remainingDamagedGroups (List.ne_nil_of_not_empty.mp $ (Bool.not_eq_true _).mp h) def part1 (springs : List SpringArrangement) : Nat := -- cgit v1.2.3