require recent lwt

imandra-ai · Jun 9, 2022 · a577b83 · a577b83
1 parent 0d11e9e
commit a577b83
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -31,7 +31,7 @@
    (opentelemetry (= :version))
    (cohttp-lwt-unix :with-test)
    (odoc :with-doc)
-   lwt)
+   (lwt (>= "5.3")))
  (tags
   (instrumentation tracing opentelemetry datadog lwt)))
 

diff --git a/opentelemetry-lwt.opam b/opentelemetry-lwt.opam
@@ -15,7 +15,7 @@ depends: [
   "opentelemetry" {= version}
   "cohttp-lwt-unix" {with-test}
   "odoc" {with-doc}
-  "lwt"
+  "lwt" {>= "5.3"}
 ]
 build: [
   ["dune" "subst"] {dev}