From df0dae23dbe53736568fe8eb011892ee3256fbcb Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 12 Jun 2023 22:54:43 -0400 Subject: [PATCH] detail in dune --- dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune b/dune index b10d0b04..0ac574ef 100644 --- a/dune +++ b/dune @@ -1,5 +1,5 @@ (env - (_ (flags :standard -strict-sequence -warn-error -a+8 -w +a-4-40-70))) + (_ (flags :standard -strict-sequence -warn-error -a+8 -w +a-4-40-42-70))) (mdx (libraries moonpool))