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