change warnings

This commit is contained in:
Simon Cruanes 2023-08-19 17:13:52 -04:00
parent e194972613
commit b57f878072
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

2
dune
View file

@ -1,4 +1,4 @@
(env (env
(_ (flags :standard -strict-sequence -warn-error -a+8 -w +a-4-40-70))) (_ (flags :standard -strict-sequence -warn-error -a+8+26+27 -w +a-4-40-70)))