1 files changed, 1 insertions, 1 deletions
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