aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Ranked/Base.hs
diff options
context:
space:
mode:
authorMikolaj Konarski <mikolaj.konarski@funktory.com>2025-05-17 00:20:47 +0200
committerMikolaj Konarski <mikolaj.konarski@funktory.com>2025-05-17 00:26:59 +0200
commit713d76559c42129afb24843af4386d18f1827727 (patch)
tree476c00426dd778f1adaba50f069cd949a2992c34 /src/Data/Array/Nested/Ranked/Base.hs
parent0d6f77762d1697ea41b190e550f94e459079e3d1 (diff)
Merge both Lemmas modulesHEADmaster
Diffstat (limited to 'src/Data/Array/Nested/Ranked/Base.hs')
-rw-r--r--src/Data/Array/Nested/Ranked/Base.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Ranked/Base.hs b/src/Data/Array/Nested/Ranked/Base.hs
index f50f671..beb5b0e 100644
--- a/src/Data/Array/Nested/Ranked/Base.hs
+++ b/src/Data/Array/Nested/Ranked/Base.hs
@@ -34,7 +34,7 @@ import GHC.TypeLits
import Data.Foldable (toList)
#endif
-import Data.Array.Mixed.Lemmas
+import Data.Array.Nested.Lemmas
import Data.Array.Nested.Types
import Data.Array.XArray (XArray(..))
import Data.Array.Nested.Mixed