dune warning

This commit is contained in:
Simon Cruanes 2023-06-20 10:31:26 -04:00
parent 4b62ec401a
commit 7507d6e297
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

2
dune
View file

@ -1,3 +1,3 @@
(env (env
(_ (_
(flags :standard -warn-error -a+8 -w +a-4-30-40-41-42-44-70 -strict-sequence))) (flags :standard -warn-error -a+8 -w +a-4-30-40-41-42-44-48-70 -strict-sequence)))