summaryrefslogtreecommitdiff
path: root/Main.lean
diff options
context:
space:
mode:
Diffstat (limited to 'Main.lean')
-rw-r--r--Main.lean1
1 files changed, 1 insertions, 0 deletions
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