fix deprecation warning about Any.any with agda-stdlib 1.7.1
[~helmut/bidiragda.git] / Instances.agda
index a09e30d..e59d8a1 100644 (file)
@@ -7,7 +7,7 @@ import Data.Maybe.Categorical
 open import Data.Nat using (ℕ)
 open import Data.Product using (_×_ ; _,_ ; proj₁ ; proj₂)
 open import Data.Vec using (Vec)
 open import Data.Nat using (ℕ)
 open import Data.Product using (_×_ ; _,_ ; proj₁ ; proj₂)
 open import Data.Vec using (Vec)
-open import Data.Vec.Relation.Pointwise.Inductive using (Pointwise-≡⇒≡)
+open import Data.Vec.Relation.Binary.Pointwise.Inductive using (Pointwise-≡⇒≡)
 open import Function using (_∘_ ; id)
 open import Relation.Binary using (Setoid ; module Setoid)
 open import Relation.Binary.Indexed.Heterogeneous using () renaming (IndexedSetoid to ISetoid)
 open import Function using (_∘_ ; id)
 open import Relation.Binary using (Setoid ; module Setoid)
 open import Relation.Binary.Indexed.Heterogeneous using () renaming (IndexedSetoid to ISetoid)