Allow building with base-4.17 (GHC 9.4)

GaloisInc · Apr 5, 2023 · b218ac7 · b218ac7
1 parent 24d53a9
commit b218ac7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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