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)
commitf9fc1aba9386216a6a01ba17d85fcae71756d928
tree723a6b00a3baa12e618839f1e0de5f852aff1b99
parent51dad2ec627203822e1879e3d58ae5331e58d414
resolve ambiguity in BFFPlug

Fixes compilation with Agda 2.4.2.
BFFPlug.agda