From 94448ca2f5e7268ea3d13398d0fcd4dc491412f4 Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Thu, 5 Dec 2024 09:15:29 -0500
Subject: [PATCH] style: remove extraneous import

---
 src/Main.idr | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/Main.idr b/src/Main.idr
index b0be7e9..5235a47 100644
--- a/src/Main.idr
+++ b/src/Main.idr
@@ -2,8 +2,6 @@ module Main
 
 import Data.SortedMap
 import Data.Problem
-import Utils
-
 import Language.Reflection
 
 import AllDays