Merge pull request #1219 from GaloisInc/felixonmars-patch-2

Allow sbv 8.15 (#1205)
GaloisInc · Jul 23, 2021 · e6f80ed · e6f80ed
2 parents 41f7f1c + 4526f50
commit e6f80ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cryptol.cabal b/cryptol.cabal
@@ -64,7 +64,7 @@ library
                        parameterized-utils >= 2.0.2,
                        pretty            >= 1.1,
                        process           >= 1.2,
-                       sbv               >= 8.6 && < 8.15,
+                       sbv               >= 8.6 && < 8.16,
                        simple-smt        >= 0.9.7,
                        stm               >= 2.4,
                        strict,