diff --git a/src/dune b/src/dune index 90b3f1f8..61839198 100644 --- a/src/dune +++ b/src/dune @@ -1,7 +1,7 @@ (env (_ - (flags :standard -warn-error -a+8 -w -32-70 -color always -safe-string - -strict-sequence) + (flags :standard -warn-error -a+8 -w -32-70 -w +a-4-32-40-42-44-70 + -color always -safe-string -strict-sequence) (ocamlopt_flags :standard -O3 -unbox-closures -unbox-closures-factor 20 -inline 100)))