diff --git a/sledge/dune b/sledge/dune index 6302f4bba..9ab830dc8 100644 --- a/sledge/dune +++ b/sledge/dune @@ -6,7 +6,7 @@ (env (debug (flags - (-w +a-4-9-18-40-42-44-48@50-66 -strict-formats -strict-sequence + (-w +a-4-9-18-30-40-42-44-48@50-66 -strict-formats -strict-sequence -error-style short -short-paths -bin-annot -keep-locs -keep-docs -opaque)) (env-vars (PPX_TRACE_ENABLED 1))