From ab79a2e7b7c10306493cb6e61eb10f3b4e114cf3 Mon Sep 17 00:00:00 2001
From: Helmut Grohne <helmut@subdivi.de>
Date: Mon, 1 Jan 2018 19:51:00 +0100
Subject: fix compilation with agda 2.5.3, agda-stdlib 0.14

---
 Precond.agda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Precond.agda')

diff --git a/Precond.agda b/Precond.agda
index 70f294d..cc81db4 100644
--- a/Precond.agda
+++ b/Precond.agda
@@ -16,7 +16,7 @@ open import Data.Vec using (Vec ; [] ; _∷_ ; map ; lookup ; toList)
 open import Data.Vec.Properties using (map-cong ; map-∘ ; tabulate-∘)
 import Data.List.All
 open import Data.List.Any using (here ; there)
-open Data.List.Any.Membership-≡ using (_∉_)
+open import Data.List.Any.Membership.Propositional using (_∉_)
 open import Data.Maybe using (just)
 open import Data.Product using (∃ ; _,_ ; proj₁ ; proj₂)
 open import Function using (flip ; _∘_ ; id)
-- 
cgit v1.2.3