From fad1b50858cde5af09824f3a61a381d9c215d1fc Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Tue, 3 Dec 2024 04:05:50 -0500
Subject: [PATCH] fix: import necessary modules in `Main`

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

diff --git a/src/Main.idr b/src/Main.idr
index f9dce6c..ae2747b 100644
--- a/src/Main.idr
+++ b/src/Main.idr
@@ -1,10 +1,12 @@
 module Main
 
 import Data.List1
+import Data.Maybe
 import Data.String
 import Data.SortedMap
 import Data.SortedMap.Dependent
 import Data.Problem
+import Utils
 
 import Language.Reflection