From 95609983219f14e8f4c0758cd0688b984d8b1455 Mon Sep 17 00:00:00 2001
From: Helmut Grohne <grohne@cs.uni-bonn.de>
Date: Wed, 5 Feb 2014 15:59:06 +0100
Subject: be more precise about which lookups we use

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

(limited to 'BFF.agda')

diff --git a/BFF.agda b/BFF.agda
index ddf2307..1770b5e 100644
--- a/BFF.agda
+++ b/BFF.agda
@@ -40,4 +40,4 @@ module VecBFF (A : DecSetoid ℓ₀ ℓ₀) where
                     g′ = delete-many t′ g
                     h  = assoc t′ v
                     h′ = (flip union g′) <$> h
-                in h′ >>= flip mapMV s′ ∘ flip lookupV
+                in h′ >>= flip mapMV s′ ∘ flip lookupM
-- 
cgit v1.2.3