From 08f4dcbecbfd53dcc121fdb0226b718e6508d7c5 Mon Sep 17 00:00:00 2001
From: Matt Russell <MattRussellUK@gmail.com>
Date: Mon, 2 Dec 2024 19:52:25 +0000
Subject: [PATCH] back to ||

---
 Aoc2024/Day02/Solve.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Aoc2024/Day02/Solve.lean b/Aoc2024/Day02/Solve.lean
index c8d598b..686836c 100644
--- a/Aoc2024/Day02/Solve.lean
+++ b/Aoc2024/Day02/Solve.lean
@@ -9,7 +9,7 @@ private def decreasingSlowly: HashSet Int := [-1, -2, -3].toSet
 
 private def isSafe (report : Report) : Bool :=
   let diffs := report.differences.toSet
-  diffs.isSubsetOf increasingSlowly ∨ diffs.isSubsetOf decreasingSlowly
+  diffs.isSubsetOf increasingSlowly || diffs.isSubsetOf decreasingSlowly
 
 #guard isSafe [7, 6, 4, 2, 1] == true
 #guard isSafe [1, 2, 7, 8, 9] == false