changeset 49:31edc574a4bc

Minor update to Day 07 Part 2
author Lewin Bormann <lbo@spheniscida.de>
date Thu, 07 Dec 2023 22:33:48 +0100
parents 967c64a81311
children fd8411815fff
files 2023/day07.ml
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/2023/day07.ml	Thu Dec 07 22:30:39 2023 +0100
+++ b/2023/day07.ml	Thu Dec 07 22:33:48 2023 +0100
@@ -172,10 +172,9 @@
       :: { count = y; _ }
       :: { count = z; _ }
       :: { count = a; _ }
-      :: { count = b; _ }
       :: _
       when Int.(
-             (x + nwild = 2 && y = 1 && z = 1 && a = 1 && b = 0)
+             (x + nwild = 2 && y = 1 && z = 1 && a = 1)
              || (x = 2 && y = 1 && z = 1 && a + nwild = 1)) ->
         OnePair
     | { count = 1; _ }