diff --git a/dune b/dune index 1b55029c..7a66c521 100644 --- a/dune +++ b/dune @@ -4,5 +4,5 @@ (_ (flags :standard -warn-error -a+8+9 -w +a-4-32-40-41-42-44-48-70 -color always -strict-sequence -safe-string -short-paths) - (ocamlopt_flags :standard -O3 -color always -unbox-closures + (ocamlopt_flags :standard -O3 -color always -inline 30 -unbox-closures -unbox-closures-factor 20)))