fix compilation on Agda 2.3.0.1
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 17 Feb 2014 12:32:12 +0000 (13:32 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 17 Feb 2014 12:32:12 +0000 (13:32 +0100)
commit4e394529b4462c7266accfb8b9b014696184b36d
treefeb8814a9a7e92129e5bebfc6075c351ea362db0
parentac482b1a6abeef4cb5e4779b554355b239e3b997
fix compilation on Agda 2.3.0.1
FinMap.agda