1 files changed, 1 insertions, 3 deletions

diff --git a/Day1.lean b/Day1.lean
index 9f265b8..f0e9c14 100644
--- a/Day1.lean
+++ b/Day1.lean
@@ -1,6 +1,4 @@
-import Common.Helpers
-import Common.Option
-import Common.DayPart
+import Common
 
 namespace Day1