diff --git a/cryptol.cabal b/cryptol.cabal
index bead37d0..73b1498a 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -64,7 +64,7 @@ library
                        parameterized-utils >= 2.0.2,
                        prettyprinter     >= 1.7.0,
                        process           >= 1.2,
-                       sbv               >= 8.6 && < 8.16,
+                       sbv               >= 8.6 && < 8.17,
                        simple-smt        >= 0.9.7,
                        stm               >= 2.4,
                        strict,