remove redundant dependency (#2455)

agda · Aug 12, 2024 · 04f9d1c · 04f9d1c
1 parent 7e9e14a
commit 04f9d1c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/Data/Vec/Recursive.agda b/src/Data/Vec/Recursive.agda
@@ -28,7 +28,6 @@ open import Data.Unit.Base using (tt)
 open import Data.Unit.Polymorphic.Base using (⊤)
 open import Data.Unit.Polymorphic.Properties using (⊤↔⊤*)
 open import Data.Vec.Base as Vec using (Vec; _∷_)
-open import Data.Vec.N-ary using (N-ary)
 open import Function.Base using (_∘′_; _∘_; id; const)
 open import Function.Bundles using (_↔_; mk↔ₛ′; mk↔)
 open import Function.Properties.Inverse using (↔-isEquivalence; ↔-refl; ↔-sym; ↔-trans)