diff --git a/cryptol.cabal b/cryptol.cabal
index a6c39b103..e75bcda14 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -57,7 +57,7 @@ library
                        process         >= 1.2,
                        QuickCheck      >= 2.7,
                        random          >= 1.0.1,
-                       sbv             >= 4.2,
+                       sbv             >= 4.3,
                        smtLib          >= 1.0.7,
                        simple-smt      >= 0.6.0,
                        syb             >= 0.4,