From 6d2a73fcf8bd72b7e43c3e2dd47b19cc340f1872 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 26 Feb 2026 23:23:22 -0500 Subject: [PATCH] fix --- src/core/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/dune b/src/core/dune index 1c0ae1ab..b78fea49 100644 --- a/src/core/dune +++ b/src/core/dune @@ -2,7 +2,7 @@ (name opentelemetry_core) (public_name opentelemetry.core) (synopsis "Core types and definitions for opentelemetry") - (flags :standard -warn-error -a+8 -open Opentelemetry_util) + (flags :standard -warn-error -a+8 -open Opentelemetry_util -open Opentelemetry_atomic) (libraries opentelemetry.proto opentelemetry.util