From 2a11b98d3f5a0f2e53753a69e252422d286a9719 Mon Sep 17 00:00:00 2001 From: HasanA Date: Fri, 14 Jun 2024 17:35:02 +0200 Subject: [PATCH] re_export dune-section in dune-site stanza Signed-off-by: HasanA --- otherlibs/dune-site/src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/otherlibs/dune-site/src/dune b/otherlibs/dune-site/src/dune index 087ad1023d6d..2ec9cce86e5f 100644 --- a/otherlibs/dune-site/src/dune +++ b/otherlibs/dune-site/src/dune @@ -6,6 +6,6 @@ (special_builtin_support (dune_site (data_module dune_site_data))) - (libraries dune-private-libs.dune-section dune-site.private) + (libraries (re_export dune-private-libs.dune-section) dune-site.private) (instrumentation (backend bisect_ppx)))