From 406c23a9f6c6a4c7e03f9aad4131921e589623bc Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Sun, 22 Dec 2024 23:17:05 +0100
Subject: Day 17, part 1 (hopefully)

---
 Common.lean | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Common.lean')

diff --git a/Common.lean b/Common.lean
index 4432bcd..ee60dfb 100644
--- a/Common.lean
+++ b/Common.lean
@@ -13,3 +13,4 @@ import Common.BitVec
 import Common.Finite
 import Common.Countable
 import Common.HashSet
+import Common.Function
-- 
cgit v1.2.3