diff --git a/src/dune b/src/dune index 25c523d..b67df9c 100644 --- a/src/dune +++ b/src/dune @@ -1,5 +1,6 @@ (library (name trace) (public_name trace) - (synopsis "Lightweight stub for tracing") + (synopsis "Lightweight stub for tracing (use `Trace_core` in code)") + (wrapped false) (libraries (re_export trace.core)))