From 018ebecade82009a3410f19982dd435b6e0715d8 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sun, 14 Apr 2024 10:31:46 +0200
Subject: Rename inductive naturals to INat

---
 ox-arrays.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ox-arrays.cabal')

diff --git a/ox-arrays.cabal b/ox-arrays.cabal
index 972917a..db5264f 100644
--- a/ox-arrays.cabal
+++ b/ox-arrays.cabal
@@ -10,7 +10,7 @@ library
     Data.Array.Mixed
     Data.Array.Nested
     Data.Array.Nested.Internal
-    Data.Nat
+    Data.INat
   build-depends:
     base >=4.18,
     ghc-typelits-knownnat,
-- 
cgit v1.2.3-70-g09d2