From c1d078834118e4313caddb0b366367750260d920 Mon Sep 17 00:00:00 2001 From: jutty Date: Thu, 8 May 2025 22:52:03 -0300 Subject: [PATCH] OCaml: Disable warning 23 (useless-record-with) --- ocaml/dune-workspace | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ocaml/dune-workspace b/ocaml/dune-workspace index e2cca56..420caa9 100644 --- a/ocaml/dune-workspace +++ b/ocaml/dune-workspace @@ -1,4 +1,4 @@ (lang dune 3.17) (context default) -(env (dev (flags (:standard -w +A-40-42)))) +(env (dev (flags (:standard -w +A-23-40-42))))