From b57f87807200f196a801518f5db751eab436fc13 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 19 Aug 2023 17:13:52 -0400 Subject: [PATCH] change warnings --- dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)))