From 567386908e50702e4c11232c50309f334c09936c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 30 Aug 2023 13:00:35 -0400 Subject: [PATCH] make `explicit_span.meta` mutable --- src/core/types.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/types.ml b/src/core/types.ml index 77334fc..9495ac2 100644 --- a/src/core/types.ml +++ b/src/core/types.ml @@ -16,6 +16,6 @@ type explicit_span = { span: span; (** Identifier for this span. Several explicit spans might share the same 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 *)