diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-07-30 11:57:40 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-07-30 11:57:40 -0400 |
| commit | 2246697031d8d4f093e511a2c4167485a5d4b8a3 (patch) | |
| tree | 1d3401461259af7995b9ab0ed01ff87aabde4eef /Git | |
| parent | 6e071f2b014ac2f076db8cd9c123664e84a4fa40 (diff) | |
add missing Ord constraint (fixes android build)
Probably the new ghc used on android is the root cause of needing this
constraint.
Diffstat (limited to 'Git')
0 files changed, 0 insertions, 0 deletions