diff --git a/src/dune b/src/dune index c9a63a75..c58c8ebb 100644 --- a/src/dune +++ b/src/dune @@ -1,4 +1,4 @@ (library (name mte) (wrapped false) - (libraries logs h1 h2)) + (libraries logs h2))