From c8f719f7e038ccc720daa488d906bfabf3d27349 Mon Sep 17 00:00:00 2001
From: Helmut Grohne <grohne@cs.uni-bonn.de>
Date: Fri, 7 Mar 2014 09:16:45 +0100
Subject: use allFin rather than tabulate id

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

(limited to 'Precond.agda')

diff --git a/Precond.agda b/Precond.agda
index ead2e18..a76fddc 100644
--- a/Precond.agda
+++ b/Precond.agda
@@ -12,7 +12,7 @@ import Category.Functor
 open import Data.Maybe using (Maybe ; nothing ; just ; maybe′)
 open Category.Monad.RawMonad {Level.zero} Data.Maybe.monad using (_>>=_)
 open Category.Functor.RawFunctor {Level.zero} Data.Maybe.functor using (_<$>_)
-open import Data.Vec using (Vec ; [] ; _∷_ ; map ; lookup ; toList ; tabulate)
+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)
-- 
cgit v1.2.3