diff --git a/language-sally.cabal b/language-sally.cabal
index e27cb6f..b0af176 100644
--- a/language-sally.cabal
+++ b/language-sally.cabal
@@ -25,7 +25,7 @@ source-repository head
 
 common dependencies
   build-depends:
-    , base                     >=4.8   && <4.17
+    , base                     >=4.8   && <4.18
     , parameterized-utils      >=2.0   && <2.2
     , what4                    >=1.4
     , what4-transition-system  >=0.0.3