summaryrefslogtreecommitdiff
path: root/Setup.lhs
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2011-12-25 19:14:17 +0100
committerAlberto Ruiz <aruiz@um.es>2011-12-25 19:14:17 +0100
commit66b17bce538f573fc37090ac1428d7fee8c8b959 (patch)
treedd71ef6deb5dbfa0b4d201514ce81dae59d37188 /Setup.lhs
parentd0eb68801e7c8de0996f6799db5ea691588467fa (diff)
parentea4da824ebc0ad09431aa276d8d44e4908e542c0 (diff)
remove warnings in glpk and special (Bas van Dijk's method)
Diffstat (limited to 'Setup.lhs')
-rw-r--r--Setup.lhs1
1 files changed, 0 insertions, 1 deletions
diff --git a/Setup.lhs b/Setup.lhs
index 6f71194..e3f9847 100644
--- a/Setup.lhs
+++ b/Setup.lhs
@@ -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