Allow sbv 8.13

Tested to build fine here.
GaloisInc · Mar 30, 2021 · b7f9aba · b7f9aba
1 parent f1e753b
commit b7f9aba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cryptol.cabal b/cryptol.cabal
@@ -65,7 +65,7 @@ library
                        pretty            >= 1.1,
                        process           >= 1.2,
                        random            >= 1.0.1,
-                       sbv               >= 8.6 && < 8.13,
+                       sbv               >= 8.6 && < 8.14,
                        simple-smt        >= 0.7.1,
                        stm               >= 2.4,
                        strict,