fix compilation on Agda 2.3.0.1
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 26 Feb 2014 09:12:50 +0000 (10:12 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 26 Feb 2014 09:12:50 +0000 (10:12 +0100)
commitbec4b138090e87fe92c970ca98010e60707c44f9
tree53e458ee2c6e548979e5e1dd215e4ad379601986
parent28e7397a76be229ba723e49db51d2bf0b87c5493
fix compilation on Agda 2.3.0.1
FinMap.agda