From b7f9aba816701aa7386f7c2d759c227955a5bee7 Mon Sep 17 00:00:00 2001
From: Felix Yan <felixonmars@archlinux.org>
Date: Tue, 30 Mar 2021 21:11:22 +0800
Subject: [PATCH] Allow sbv 8.13

Tested to build fine here.
---
 cryptol.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cryptol.cabal b/cryptol.cabal
index f721e782d..2f11edaef 100644
--- 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,