diff --git a/src/dune b/src/dune index 82c7d7f..2f777e2 100644 --- a/src/dune +++ b/src/dune @@ -2,5 +2,5 @@ (name trace) (public_name trace) (synopsis "Lightweight stub for tracing") - (libraries trace.core) + (libraries (re_export trace.core)) )