From ecbf7b27be05dc242f066e681dbe22c4274834f5 Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Sat, 9 Dec 2023 16:34:30 +0100
Subject: Day 8 Part 2

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

(limited to 'Common.lean')

diff --git a/Common.lean b/Common.lean
index abbede8..89c9051 100644
--- a/Common.lean
+++ b/Common.lean
@@ -4,3 +4,4 @@ import Common.DayPart
 import Common.String
 import Common.List
 import Common.Char
+import Common.Euclid
-- 
cgit v1.2.3