diff --git a/src/top/dune b/src/top/dune index 5c8f3724..61b716fa 100644 --- a/src/top/dune +++ b/src/top/dune @@ -4,4 +4,5 @@ (name containers_top) (public_name containers.top) (wrapped false) + (modes byte) (libraries compiler-libs.common containers containers.unix))