diff --git a/dune-project b/dune-project
index 96f08b63..82ff3908 100644
--- a/dune-project
+++ b/dune-project
@@ -35,7 +35,8 @@
   dune
   (ocaml
    (>= "4.14.0"))
-  ocaml_intrinsics
+  (ocaml_intrinsics
+   (< "v0.17.0"))
   (cmdliner
    (>= "1.2.0"))
   (zarith
diff --git a/smtml.opam b/smtml.opam
index 5c5cf81b..ddac3fc2 100644
--- a/smtml.opam
+++ b/smtml.opam
@@ -11,7 +11,7 @@ bug-reports: "https://github.com/formalsec/smtml/issues"
 depends: [
   "dune" {>= "3.14"}
   "ocaml" {>= "4.14.0"}
-  "ocaml_intrinsics"
+  "ocaml_intrinsics" {< "v0.17.0"}
   "cmdliner" {>= "1.2.0"}
   "zarith" {>= "1.5"}
   "hc" {>= "0.3"}