diff --git a/sledge/dune b/sledge/dune
index fb9e835b3..6302f4bba 100644
--- a/sledge/dune
+++ b/sledge/dune
@@ -7,20 +7,20 @@
  (debug
   (flags
    (-w +a-4-9-18-40-42-44-48@50-66 -strict-formats -strict-sequence
-     -short-paths -bin-annot -keep-locs -keep-docs -opaque))
+     -error-style short -short-paths -bin-annot -keep-locs -keep-docs -opaque))
   (env-vars
    (PPX_TRACE_ENABLED 1))
   (inline_tests enabled))
  (trace
   (flags
-   (-w -a -noassert -unboxed-types))
+   (-w -a -error-style short -noassert -unboxed-types))
   (ocamlopt_flags (-O3))
   (env-vars
    (PPX_TRACE_ENABLED 1))
   (inline_tests disabled))
  (_ ; release, dev, default,...
   (flags
-   (-w -a -noassert -unboxed-types))
+   (-w -a -error-style short -noassert -unboxed-types))
   (ocamlopt_flags (-O3))
   (env-vars
    (PPX_TRACE_ENABLED 0))