drop unused import
authorHelmut Grohne <helmut@subdivi.de>
Mon, 10 Dec 2012 11:48:25 +0000 (12:48 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 10 Dec 2012 11:48:25 +0000 (12:48 +0100)
commitd39092a7bfe8180b5928aff7ec783de3c48b62f4
tree48b677c78ca07c39e96f55e432d8ccb5d45e0648
parent1625dfe1e5ee62ffef1884a38ba4599b9c5510e4
drop unused import
Bidir.agda