From 98cf8fbdbc5d7d4a44b79d2e548157953046510a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 4 Dec 2025 12:07:52 -0500 Subject: [PATCH] fix warning --- src/core/globals.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/core/globals.ml b/src/core/globals.ml index 0e5ccfb6..74f7433a 100644 --- a/src/core/globals.ml +++ b/src/core/globals.ml @@ -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