fix compilation with agda 2.5.3, agda-stdlib 0.14
[~helmut/bidiragda.git] / Precond.agda
index 70f294d..cc81db4 100644 (file)
@@ -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)