diff --git a/sledge/bin/dune b/sledge/bin/dune
index 8b74c6dea..b8ed12df3 100644
--- a/sledge/bin/dune
+++ b/sledge/bin/dune
@@ -11,6 +11,6 @@
    llvm.irreader llvm.analysis llvm.scalar_opts llvm.target llvm.ipo
    llvm.linker shexp.process yojson trace import sledge model)
  (flags
-  (:standard -open Import -open Sledge -open Model))
+  (:standard -w -58 -open Import -open Sledge -open Model))
  (preprocess
   (pps ppx_sledge)))