From 4526f5090efd7b51a87d81382d81ee3f7c2476c5 Mon Sep 17 00:00:00 2001
From: Felix Yan <felixonmars@archlinux.org>
Date: Thu, 17 Jun 2021 06:09:40 +0800
Subject: [PATCH] Allow sbv 8.15 (#1205)

---
 cryptol.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cryptol.cabal b/cryptol.cabal
index ad6b5be49..a8d63c43b 100644
--- 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,