Closed ElectreAAS closed 1 year ago
As per the release notes, dune doesn't allow some private library shenanigans that happen in obuilder. This PR fixes that and allow current-bench to actually build.
Merci !
As per the release notes, dune doesn't allow some private library shenanigans that happen in obuilder. This PR fixes that and allow current-bench to actually build.