require trace 0.7

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

Hide file tree

Showing 3 changed files with 3 additions and 6 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.7)))
  (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.7"}
 ]
 build: [
   ["dune" "subst"] {dev}

diff --git a/src/trace/opentelemetry_trace.ml b/src/trace/opentelemetry_trace.ml
@@ -66,7 +66,7 @@ module Internal = struct
   end)
 
   (** key to access a OTEL scope from an explicit span *)
-  let k_explicit_scope : Otel.Scope.t Otrace.Meta_map.Key.t =
+  let k_explicit_scope : Otel.Scope.t Otrace.Meta_map.key =
     Otrace.Meta_map.Key.create ()
 
   (** Per-thread set of active spans. *)