diff --git a/dune b/dune
index c37d0f24..92928949 100644
--- a/dune
+++ b/dune
@@ -5,5 +5,5 @@
    -warn-error
    -a+8
    -w
-   +a-4-30-40-41-42-44-48-70
+   +a-4-30-40-41-42-44-48-58-70
    -strict-sequence)))