From 90a131b7af9ca4289cc9d2b306756b15e0e1a076 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 10 Jun 2022 23:25:22 -0400 Subject: [PATCH] fix compiler warning --- src/top/dune | 1 + 1 file changed, 1 insertion(+) 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))