Bump sbv minimum version to 4.3

GaloisInc · Apr 10, 2015 · 711ba43 · 711ba43
1 parent 639d9fd
commit 711ba43
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cryptol.cabal b/cryptol.cabal
@@ -57,7 +57,7 @@ library
                        process         >= 1.2,
                        QuickCheck      >= 2.7,
                        random          >= 1.0.1,
-                       sbv             >= 4.2,
+                       sbv             >= 4.3,
                        smtLib          >= 1.0.7,
                        simple-smt      >= 0.6.0,
                        syb             >= 0.4,