From 83e666ee9960275a98e6d2d44c5b4845b6b46c87 Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Mon, 11 Dec 2023 20:34:30 +0100
Subject: Incomplete Heap implementation.

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

(limited to 'Main.lean')

diff --git a/Main.lean b/Main.lean
index 4fdf18c..433e153 100644
--- a/Main.lean
+++ b/Main.lean
@@ -8,6 +8,7 @@ import «Day6»
 import «Day7»
 import «Day8»
 import «Day9»
+import «Day10»
 
 open DayPart
 
-- 
cgit v1.2.3