From 2ceb539bf306992e726280c24ce8d7b69e4c8b5e Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Thu, 19 Sep 2024 00:14:18 +0200
Subject: Day 11 Parsing

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

(limited to 'Common.lean')

diff --git a/Common.lean b/Common.lean
index 1382714..177ae97 100644
--- a/Common.lean
+++ b/Common.lean
@@ -7,3 +7,4 @@ import Common.Char
 import Common.Euclid
 import Common.NonEmptyList
 import Common.Parsing
+import Common.Nat
-- 
cgit v1.2.3