diff --git a/cryptol.cabal b/cryptol.cabal
index 212f06fd..bba7c3dd 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -35,7 +35,6 @@ library
                        monadLib        >= 3.7.2,
                        mtl,
                        old-time        >= 1.1,
-                       presburger      >= 1.3,
                        pretty          >= 1.1,
                        process         >= 1.2,
                        QuickCheck      >= 2.7,