diff --git a/dune b/dune index 69fd3ec..b6f39d0 100644 --- a/dune +++ b/dune @@ -1,4 +1,4 @@ (env - (_ (flags :standard -strict-sequence -warn-error -a+8 -w +a-4-40-70))) + (_ (flags :standard -strict-sequence -warn-error -a+8+26+27 -w +a-4-40-70)))