[ fix ] Fixes build broken by #3021

idris-lang · Aug 1, 2023 · b481994 · b481994
1 parent c7abb14
commit b481994
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/libs/base/base.ipkg b/libs/base/base.ipkg
@@ -45,6 +45,7 @@ modules = Control.App,
           Data.Contravariant,
           Data.DPair,
           Data.Either,
+          Data.Integral,
           Data.Fin,
           Data.Fin.Order,
           Data.Fuel,

diff --git a/tests/base/data_integral/Integral.idr b/tests/base/data_integral/Integral.idr
@@ -1,4 +1,5 @@
 import Data.Integral
+import Data.Nat
 
 Cases : Type
 Cases = List Bool