Allow building with what4-1.5

I need this in order to bump the `what4` submodule in SAW to version `1.5`, which is currently blocked by this upper version bound in `cryptol.cabal`.
GaloisInc · Aug 21, 2023 · 1d85d5e · 1d85d5e
1 parent cd5d006
commit 1d85d5e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cryptol.cabal b/cryptol.cabal
@@ -85,7 +85,7 @@ library
                        mtl               >= 2.2.1,
                        time              >= 1.6.0.1,
                        panic             >= 0.3,
-                       what4             >= 1.4 && < 1.5
+                       what4             >= 1.4 && < 1.6
 
   if impl(ghc >= 9.0)
     build-depends:     ghc-bignum        >= 1.0 && < 1.4