fix build with old ghc
authorJoey Hess <joeyh@joeyh.name>
Fri, 30 Dec 2016 15:10:20 +0000 (11:10 -0400)
committerJoey Hess <joeyh@joeyh.name>
Fri, 30 Dec 2016 15:10:20 +0000 (11:10 -0400)
commit3ec1478767417868f5c33d3566737ac1ddf4b7de
tree34f3b6acd1ec088b1c14a47c9f8637594f78b36f
parentd785a565efea8ec02751776371f6de0ddf30aa5d
fix build with old ghc
Utility/MagicWormhole.hs