resolve ambiguity in BFFPlug
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 26 Sep 2014 11:02:25 +0000 (13:02 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 26 Sep 2014 11:02:25 +0000 (13:02 +0200)
Fixes compilation with Agda 2.4.2.

BFFPlug.agda

index 12ee980..5c219a5 100644 (file)
@@ -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