From f9fc1aba9386216a6a01ba17d85fcae71756d928 Mon Sep 17 00:00:00 2001
From: Helmut Grohne <grohne@cs.uni-bonn.de>
Date: Fri, 26 Sep 2014 13:02:25 +0200
Subject: resolve ambiguity in BFFPlug

Fixes compilation with Agda 2.4.2.
---
 BFFPlug.agda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/BFFPlug.agda b/BFFPlug.agda
index 12ee980..5c219a5 100644
--- a/BFFPlug.agda
+++ b/BFFPlug.agda
@@ -23,7 +23,7 @@ import Examples
 
 open DecSetoid A using (Carrier)
 open GetTypes.PartialVecVec public using (Get)
-open BFF.PartialVecBFF A public
+open BFF.PartialVecBFF A public using (sbff ; bff)
 
 bffsameshape : (G : Get) → {i : Get.|I| G} → Vec Carrier (Get.|gl₁| G i) → Vec Carrier (Get.|gl₂| G i) → Maybe (Vec Carrier (Get.|gl₁| G i))
 bffsameshape G {i} = sbff G i
-- 
cgit v1.2.3