Fixes ocaml_intrinsics version

formalsec · Jun 20, 2024 · 10ac875 · 10ac875
1 parent 2d82176
commit 10ac875
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -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"}