fix otel.trace: set scope for explicit spans

imandra-ai · Oct 25, 2024 · fdee7fe · fdee7fe
1 parent 5aa5c5e
commit fdee7fe
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/trace/opentelemetry_trace.ml b/src/trace/opentelemetry_trace.ml
@@ -242,7 +242,11 @@ module Internal = struct
       let active_spans = Active_spans.get () in
       Active_span_tbl.add active_spans.tbl otrace_id sb;
 
-      Otrace.{ span = otrace_id; meta = Meta_map.empty }
+      Otrace.
+        {
+          span = otrace_id;
+          meta = Meta_map.(empty |> add k_explicit_scope sb.scope);
+        }
 
     let exit_manual_span Otrace.{ span = otrace_id; _ } =
       let active_spans = Active_spans.get () in