1 files changed, 1 insertions, 0 deletions

diff --git a/Main.lean b/Main.lean
index 05f34d3..5adfb28 100644
--- a/Main.lean
+++ b/Main.lean
@@ -9,6 +9,7 @@ import «Day7»
 import «Day8»
 import «Day9»
 import «Day10»
+import «Day11»
 
 open DayPart