chore: compat with trace 0.6

imandra-ai · Feb 9, 2024 · b9f574d · b9f574d
1 parent 81d2d5c
commit b9f574d
Show file tree

Hide file tree

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

diff --git a/opentelemetry.opam b/opentelemetry.opam
@@ -25,7 +25,7 @@ depends: [
 ]
 depopts: ["trace"]
 conflicts: [
-  "trace" {< "0.4" | >= "0.6"}
+  "trace" {< "0.4" | >= "0.7"}
 ]
 build: [
   ["dune" "subst"] {dev}
-Original file line number
+Diff line change
@@ Expand Up / @@ -43,7 +43,7 @@ @@
       (trace
        (or
         (< 0.4)
-        (>= 0.6))))
+        (>= 0.7))))
      (tags
       (instrumentation tracing opentelemetry datadog jaeger)))
@@ Expand Down @@