From 60a16149193f3cd5d19d3c946b7cf5c2b7250aea Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 17 Feb 2022 00:17:31 -0500 Subject: [PATCH] silence warning 70 --- src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune b/src/dune index 21bb22a5..9e4553c9 100644 --- a/src/dune +++ b/src/dune @@ -1,7 +1,7 @@ (env (_ - (flags :standard -warn-error -3 -color always) + (flags :standard -warn-error -3 -w -70 -color always) (ocamlopt_flags :standard -O3 -unbox-closures -unbox-closures-factor 20 -inline 100) ))