diff options
author | Alberto Ruiz <aruiz@um.es> | 2011-12-25 19:14:17 +0100 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2011-12-25 19:14:17 +0100 |
commit | 66b17bce538f573fc37090ac1428d7fee8c8b959 (patch) | |
tree | dd71ef6deb5dbfa0b4d201514ce81dae59d37188 /Setup.lhs | |
parent | d0eb68801e7c8de0996f6799db5ea691588467fa (diff) | |
parent | ea4da824ebc0ad09431aa276d8d44e4908e542c0 (diff) |
remove warnings in glpk and special (Bas van Dijk's method)
Diffstat (limited to 'Setup.lhs')
-rw-r--r-- | Setup.lhs | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -16,4 +16,3 @@ | |||
16 | > let pkg_descr = localPkgDescr binfo | 16 | > let pkg_descr = localPkgDescr binfo |
17 | > return $ binfo { localPkgDescr = updatePackageDescription pbi pkg_descr } | 17 | > return $ binfo { localPkgDescr = updatePackageDescription pbi pkg_descr } |
18 | 18 | ||
19 | |||