From bd9ff6b6e603f15fd2c7822bef3acabf711306c4 Mon Sep 17 00:00:00 2001
From: Adam Bergmark <adam@bergmark.nl>
Date: Thu, 28 May 2015 10:13:09 +0200
Subject: [PATCH] Needs GHC >= 7.2 due to usage of Trustworthy

---
 presburger.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/presburger.cabal b/presburger.cabal
index 1613e7f..d290b48 100644
--- a/presburger.cabal
+++ b/presburger.cabal
@@ -13,7 +13,7 @@ Build-type:     Simple
 Cabal-version:  >= 1.8
 
 library
-  Build-Depends:  base < 10, containers, pretty
+  Build-Depends:  base >= 4.4 && < 10, containers, pretty
   hs-source-dirs: src
   Exposed-modules:
     Data.Integer.SAT