From ba516e81af89d1cb5e3ae9456fe558e279254ac3 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 24 Jun 2023 16:26:56 -0400 Subject: [PATCH] detail --- src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune b/src/dune index 36fbd2b2..6b6da352 100644 --- a/src/dune +++ b/src/dune @@ -1,6 +1,6 @@ (env (_ - (flags :standard -warn-error -a+8 -w -32-70 -w +a-4-40-42-44-70 + (flags :standard -warn-error -a+8 -w -32-48-70 -w +a-4-40-42-44-70 -color always -safe-string -strict-sequence) (ocamlopt_flags :standard -O3 -unbox-closures -unbox-closures-factor 20 -inline 100)))