Fix issue in Day10 Part1 end condition.

1 files changed, 1 insertions, 1 deletions

diff --git a/Day10.lean b/Day10.lean
index 17b864f..5bc283e 100644
--- a/Day10.lean
+++ b/Day10.lean
@@ -979,7 +979,7 @@ def part1 (area : Area) : Option Nat := do
 where
   pathsMet := λ (ps : List $ Area.PathHead area) ↦ match ps with
   | [] => false
-  | p :: ps => ps.any λh ↦ h.current = p.current
+  | p :: ps => ps.any λh ↦ h.current = p.current || pathsMet ps
   noSolution := λ (ps : List $ Area.PathHead area) ↦ match ps with
   | [] => true
   | _ :: [] => true