make explicit_span.meta mutable

This commit is contained in:
Simon Cruanes 2023-08-30 13:00:35 -04:00
parent 5d04850997
commit 567386908e
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -16,6 +16,6 @@ type explicit_span = {
span: span; span: span;
(** Identifier for this span. Several explicit spans might share the same (** Identifier for this span. Several explicit spans might share the same
identifier since we can differentiate between them via [meta]. *) identifier since we can differentiate between them via [meta]. *)
meta: Meta_map.t; (** Metadata for this span (and its context) *) mutable meta: Meta_map.t; (** Metadata for this span (and its context) *)
} }
(** Explicit span, with collector-specific metadata *) (** Explicit span, with collector-specific metadata *)