disable warning 58

sometimes it's ok to not have a .cmx, I promise
This commit is contained in:
Simon Cruanes 2025-12-17 14:00:54 -05:00
parent 1853fa7585
commit 62cd8c0cd2
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

2
dune
View file

@ -5,5 +5,5 @@
-warn-error -warn-error
-a+8 -a+8
-w -w
+a-4-30-40-41-42-44-48-70 +a-4-30-40-41-42-44-48-58-70
-strict-sequence))) -strict-sequence)))