From a13144810ecef1cb7c9a50b537435bc7b077889a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 3 Sep 2024 09:32:10 -0400 Subject: [PATCH] remove dep on now defunct `exn_bt` --- src/core/dune | 1 - 1 file changed, 1 deletion(-) diff --git a/src/core/dune b/src/core/dune index 5d575f89..015e9ce6 100644 --- a/src/core/dune +++ b/src/core/dune @@ -10,7 +10,6 @@ (hmap -> hmap_ls_.real.ml) (-> hmap_ls_.dummy.ml)) moonpool.dpool - (re_export exn_bt) (re_export picos)) (flags :standard -open Moonpool_private) (private_modules util_pool_)