From bd11ee13d58c512f1a9cc0ef06b36c722653ff6f Mon Sep 17 00:00:00 2001
From: Tom Smeding <t.j.smeding@uu.nl>
Date: Wed, 15 May 2024 13:29:10 +0200
Subject: The code compiles with only GHC nats

---
 src/Data/Array/Nested.hs | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/Data/Array/Nested.hs')

diff --git a/src/Data/Array/Nested.hs b/src/Data/Array/Nested.hs
index c7d1819..c12d8ad 100644
--- a/src/Data/Array/Nested.hs
+++ b/src/Data/Array/Nested.hs
@@ -37,9 +37,6 @@ module Data.Array.Nested (
   PrimElt,
   Primitive(..),
 
-  -- * Inductive natural numbers
-  module Data.INat,
-
   -- * Further utilities / re-exports
   type (++),
   Storable,
@@ -49,5 +46,4 @@ import Prelude hiding (mappend)
 
 import Data.Array.Mixed
 import Data.Array.Nested.Internal
-import Data.INat
 import Foreign.Storable
-- 
cgit v1.2.3-70-g09d2