simon/moonpool
1
0
Fork 0
mirror of https://github.com/c-cube/moonpool.git synced 2025-12-06 03:05:30 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

remove dep on now defunct exn_bt

Browse source
This commit is contained in:
Simon Cruanes 2024-09-03 09:32:10 -04:00
parent 6eccc464c4
commit a13144810e
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/core/dune
View file

@ -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_)