From 4153be54a541349467e6a8126fccffd2a8c5a6c1 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 4 Oct 2023 13:06:54 -0400 Subject: [PATCH] fix dune --- src/dune | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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)))