summaryrefslogtreecommitdiff
path: root/Config.hs
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2011-03-09 10:12:50 +0000
committerAlberto Ruiz <aruiz@um.es>2011-03-09 10:12:50 +0000
commitb2ed85d1e96afc2d8c9c60346fe3583fcbcb05b2 (patch)
tree5b9c18a061c3710494792c119761ea7267e1b6e0 /Config.hs
parent8a1a04f10e37af280e4fa640c3f66f93d6f16004 (diff)
DFINIT for ghc-7.0.2
Diffstat (limited to 'Config.hs')
-rw-r--r--Config.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/Config.hs b/Config.hs
index d76a6a2..8810bec 100644
--- a/Config.hs
+++ b/Config.hs
@@ -142,3 +142,4 @@ mainOk bInfo = do
142 if g 142 if g
143 then "" 143 then ""
144 else "cc-options: -DGSL110\n" 144 else "cc-options: -DGSL110\n"
145