From 2abccce9854418ed9e3bf52470f2450b56d044b9 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 29 Nov 2021 10:33:56 -0500 Subject: [PATCH] build flags --- src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune b/src/dune index 78060e9f..17d9707a 100644 --- a/src/dune +++ b/src/dune @@ -3,5 +3,5 @@ (_ (flags :standard -warn-error -a+8+9 -w +a-4-32-40-41-42-44-48 - -color always -safe-string -short-paths) + -color always -strict-sequence -safe-string -short-paths) (ocamlopt_flags :standard -O3 -color always -unbox-closures -unbox-closures-factor 20)))