back to ||

mdr · Dec 2, 2024 · 08f4dcb · 08f4dcb
1 parent 2c31a30
commit 08f4dcb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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