From e1949726134c43274c0d71c380ee72cb5c31ddee Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 19 Aug 2023 16:53:06 -0400 Subject: [PATCH] re-export trace.core in trace --- src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)) )