re-export in dune

This commit is contained in:
Simon Cruanes 2025-12-10 14:39:01 -05:00
parent 18226a63a4
commit a2a7a6cf1e
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -13,11 +13,11 @@
-open -open
Opentelemetry_core.Common_) Opentelemetry_core.Common_)
(libraries (libraries
opentelemetry.core (re_export opentelemetry.core)
opentelemetry.proto opentelemetry.proto
opentelemetry.util (re_export opentelemetry.util)
opentelemetry.ambient-context (re_export opentelemetry.ambient-context)
opentelemetry.atomic (re_export opentelemetry.atomic)
ptime ptime
ptime.clock.os ptime.clock.os
pbrt pbrt