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"))