Revert to integerGmp
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 8 Jan 2017 02:11:38 +0000 (02:11 +0000)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 8 Jan 2017 02:11:38 +0000 (02:11 +0000)
Fix #179.

src/Settings/Default.hs

index 0fb54f6..103c432 100644 (file)
@@ -146,7 +146,7 @@ defaultFlavour = Flavour
     { name               = "default"
     , args               = defaultArgs
     , packages           = defaultPackages
-    , integerLibrary     = integerSimple -- FIXME after testing, #179!
+    , integerLibrary     = integerGmp
     , libraryWays        = defaultLibraryWays
     , rtsWays            = defaultRtsWays
     , splitObjects       = defaultSplitObjects