dune-project | 3 1 + 2 - 0 !
src/core/dune | 2 1 + 1 - 0 !
2 files changed, 2 insertions(+), 3 deletions(-)

 remove either dependency