From e2fe0f66835b2f4f9b290b7012bd31b840a4a251 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 5 Mar 2026 10:11:24 -0500 Subject: [PATCH] dune shenanigan --- src/core/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/dune b/src/core/dune index c1d58a81..b30ab750 100644 --- a/src/core/dune +++ b/src/core/dune @@ -11,7 +11,7 @@ -open Opentelemetry_atomic) (libraries - opentelemetry.proto + (re_export opentelemetry.proto) opentelemetry.util (re_export opentelemetry.atomic) (re_export opentelemetry.emitter)