diff --git a/src/Utils/Path.idr b/src/Utils/Path.idr
index 1262fe929..d608a7fa8 100644
--- a/src/Utils/Path.idr
+++ b/src/Utils/Path.idr
@@ -2,6 +2,7 @@ module Utils.Path
 
 import Data.List
 import Data.Maybe
+import Data.Nat
 import Data.Strings
 import Data.String.Extra