silence warning 70

This commit is contained in:
Simon Cruanes 2022-02-17 00:17:31 -05:00
parent 7ae113b6dc
commit 60a1614919
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6

View file

@ -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)
))