diff options
Diffstat (limited to 'CheckInsert.agda')
| -rw-r--r-- | CheckInsert.agda | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CheckInsert.agda b/CheckInsert.agda index 47af215..c8007ec 100644 --- a/CheckInsert.agda +++ b/CheckInsert.agda @@ -18,7 +18,6 @@ import Relation.Binary.EqReasoning as EqR open import Relation.Binary.PropositionalEquality using (cong ; sym ; inspect ; [_] ; trans) open import FinMap -open import Generic using (vecIsSetoid) private open module A = DecSetoid A using (Carrier ; _≈_) renaming (_≟_ to deq) |