[Agda] Patch for QuickFix 2.5

[Dirk Ullrich]

Hello,

in QuickFix 2.5 the interface is slightly changed. The patch appended
takes care of this. I've tested it with GHC 7.2.2 and 7.4.2 and the
current Hackage version of all other packages needed.

Dirk
-------------- next part --------------
A non-text attachment was scrubbed...
Name: quickcheck2.5.patch
Type: application/octet-stream
Size: 1350 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20120703/a062aa8e/quickcheck2.5.obj