diff --git a/src/dune b/src/dune
index d2d9e3db..89ba2327 100644
--- a/src/dune
+++ b/src/dune
@@ -1,7 +1,7 @@
 
 (env
  (_
-  (flags :standard -warn-error -a+8 -w +a-4-32-40-42-44-70 -color always -safe-string
+  (flags :standard -warn-error -a+8 -w +a-4-32-40-42-44-48-70 -color always -safe-string
     -strict-sequence)))
 
 (library