fix warning

This commit is contained in:
Simon Cruanes 2025-12-04 12:07:52 -05:00
parent 1ac44c4dd8
commit 98cf8fbdbc
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -40,10 +40,8 @@ let add_global_attribute (key : string) (v : Value.t) : unit =
(* add global attributes to this list *)
let merge_global_attributes_ into : _ list =
let not_redundant kv =
List.for_all Key_value.(fun kv' -> kv.key <> kv'.key) into
in
List.rev_append Key_value.(List.filter not_redundant !global_attributes) into
let not_redundant kv = List.for_all (fun kv' -> kv.key <> kv'.key) into in
List.rev_append (List.filter not_redundant !global_attributes) into
(** Default span kind in {!Span.create}. This will be used in all spans that do
not specify [~kind] explicitly; it is set to "internal", following