remove upper bound on trace

imandra-ai · Mar 21, 2024 · 882b1c9 · 882b1c9
1 parent 715578c
commit 882b1c9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 5 deletions.
diff --git a/dune-project b/dune-project
@@ -41,10 +41,7 @@
     (< 0.25))))
  (depopts trace)
  (conflicts
-  (trace
-   (or
-    (< 0.4)
-    (>= 0.7))))
+  (trace (< 0.4)))
  (tags
   (instrumentation tracing opentelemetry datadog jaeger)))
 

diff --git a/opentelemetry.opam b/opentelemetry.opam
@@ -26,7 +26,7 @@ depends: [
 ]
 depopts: ["trace"]
 conflicts: [
-  "trace" {< "0.4" | >= "0.7"}
+  "trace" {< "0.4"}
 ]
 build: [
   ["dune" "subst"] {dev}