From 581590abcc07beb8a6bb3df4d90d090465c71007 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 27 Dec 2025 20:04:57 -0500 Subject: [PATCH] fix build --- src/util/dune | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util/dune b/src/util/dune index bef06885..0d2df6b9 100644 --- a/src/util/dune +++ b/src/util/dune @@ -5,7 +5,7 @@ (libraries (re_export opentelemetry.atomic) ptime - threads - threads.posix + (re_export threads) + (re_export threads.posix) opentelemetry.domain) (synopsis "Basic utilities for opentelemetry"))