diff --git a/dune-project b/dune-project index e10293ee3..1123224bc 100644 --- a/dune-project +++ b/dune-project @@ -50,7 +50,7 @@ (integers (>= 0.5.1)) ocaml_intrinsics - prelude + (prelude (<= 0.1)) sedlex (smtml (>= 0.2.2)) uutf diff --git a/owi.opam b/owi.opam index 7558dacf8..b6b3a59b4 100644 --- a/owi.opam +++ b/owi.opam @@ -27,7 +27,7 @@ depends: [ "digestif" "integers" {>= "0.5.1"} "ocaml_intrinsics" - "prelude" + "prelude" {<= "0.1"} "sedlex" "smtml" {>= "0.2.2"} "uutf"