From a63d3cf98857a1c17b43091a8fe6907de64c94b6 Mon Sep 17 00:00:00 2001
From: Michael Snoyman <michael@snoyman.com>
Date: Wed, 23 Sep 2015 22:00:29 +0300
Subject: [PATCH] Fix upper bound: sbv instead of cryptol

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index d5632797..1774dd84 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1507,7 +1507,7 @@ packages:
         - postgresql-simple < 0.5
 
         # https://github.com/GaloisInc/cryptol/issues/275
-        - cryptol < 5.0
+        - sbv < 5.0
 
         # https://github.com/fpco/stackage/issues/856
         - syb < 0.6