From 1286deef698a9fbf92b86d0078fd62c47f980ee9 Mon Sep 17 00:00:00 2001 From: Helmut Grohne Date: Sat, 1 Aug 2020 09:12:17 +0200 Subject: move imports for agda-stdlib 1.3 --- Instances.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Instances.agda') diff --git a/Instances.agda b/Instances.agda index a09e30d..e59d8a1 100644 --- a/Instances.agda +++ b/Instances.agda @@ -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.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) -- cgit v1.2.3