diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2018-01-01 19:51:00 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2018-01-01 19:51:00 +0100 |
| commit | ab79a2e7b7c10306493cb6e61eb10f3b4e114cf3 (patch) | |
| tree | 923efedbb0b74075d8efb66ba4b5b33dd4ed3cc2 /Precond.agda | |
| parent | ad721d4770c02769a9b7afab90160d1818afe1d6 (diff) | |
| download | bidiragda-ab79a2e7b7c10306493cb6e61eb10f3b4e114cf3.tar.gz | |
fix compilation with agda 2.5.3, agda-stdlib 0.14
Diffstat (limited to 'Precond.agda')
| -rw-r--r-- | Precond.agda | 2 |
1 files changed, 1 insertions, 1 deletions
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) |