chore: upstream patch from @mseri

imandra-ai · Jun 10, 2022 · 40420bb · 40420bb
1 parent 36dcdda
commit 40420bb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -55,5 +55,5 @@
   (opentelemetry (= :version))
   (opentelemetry-lwt (= :version))
   (odoc :with-doc)
-  cohttp-lwt)
+  (cohttp-lwt (>= "4.0.0")))
  (synopsis "Opentelemetry tracing for Cohttp HTTP servers"))
diff --git a/opentelemetry-cohttp-lwt.opam b/opentelemetry-cohttp-lwt.opam
@@ -14,7 +14,7 @@ depends: [
   "opentelemetry" {= version}
   "opentelemetry-lwt" {= version}
   "odoc" {with-doc}
-  "cohttp-lwt"
+  "cohttp-lwt" {>= "4.0.0"}
 ]
 build: [
   ["dune" "subst"] {dev}