From 0cb5ab6a732dcde18480a4b7ae6541b32f144930 Mon Sep 17 00:00:00 2001
From: Ben Simner <benjsimner@gmail.com>
Date: Tue, 8 Nov 2022 13:50:19 +0000
Subject: [PATCH] (opam) bump sail

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index 089b596..f4ecc8c 100644
--- a/opam
+++ b/opam
@@ -17,7 +17,7 @@ depends: [
   "ocamlbuild"
   "lem" {>= "2018-12-14"}
   "linksem" {>= "0.3"}
-  "sail"
+  "sail" {>= "0.14"}
   "sail-riscv"
   "conf-gmp"
   "lwt" {>= "4.1.0" & <= "4.5.0"}