diff options
| author | Iain Lane <iain@orangesquash.org.uk> | 2014-08-05 09:11:47 +0100 |
|---|---|---|
| committer | Iain Lane <iain@orangesquash.org.uk> | 2014-08-05 09:11:47 +0100 |
| commit | 84d43131c1027130bd54e74a699fd1132cda66de (patch) | |
| tree | 5f0cb3f183c8109d9c8d659219d3b02cb3cf649a /src/Data/Fin/Dec.agda | |
| parent | 6d5228941fe84e810ba3e49cd3f2bbee902bdeef (diff) | |
Imported Upstream version 0.8
Diffstat (limited to 'src/Data/Fin/Dec.agda')
| -rw-r--r-- | src/Data/Fin/Dec.agda | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Fin/Dec.agda b/src/Data/Fin/Dec.agda index 1e7fd6f..6318eb8 100644 --- a/src/Data/Fin/Dec.agda +++ b/src/Data/Fin/Dec.agda @@ -14,7 +14,7 @@ open import Data.Vec.Equality as VecEq using () renaming (module PropositionalEquality to PropVecEq) open import Data.Fin open import Data.Fin.Subset -open import Data.Fin.Subset.Props +open import Data.Fin.Subset.Properties open import Data.Product as Prod open import Data.Empty open import Function |