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"}