dune: avoid warnings

mirage · Mar 6, 2024 · f8b8863 · f8b8863
1 parent 9ce675c
commit f8b8863
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune b/dune
@@ -1,7 +1,7 @@
 (env
  (dev
   (flags
-   (:standard -w -6))))
+   (:standard -w -6-32-39))))
 
 (library
  (name zarith)