From 8d1ac2291ed4ee921a0c071a7702450072d51f9b Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Thu, 7 Dec 2023 19:41:07 +0100
Subject: [PATCH] oops

---
 day7.pl | 2 --
 1 file changed, 2 deletions(-)

diff --git a/day7.pl b/day7.pl
index afd37c9..8420917 100644
--- a/day7.pl
+++ b/day7.pl
@@ -74,8 +74,6 @@ joker(11, 0).
 joker(X,  X) :- X \= 11.
 part1_to_part2(Xs-B, Ys-B) :- maplist(joker, Xs, Ys).
 
-with_hand(Xs-B, H-Xs-B) :- hand(Xs, H).
-
 part2(File) :-
   phrase_from_file(lines(Ls0), File),
   maplist(part1_to_part2, Ls0, Ls),