From 62cd8c0cd25fd8a8d7774025f69402906ed2debf Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 17 Dec 2025 14:00:54 -0500 Subject: [PATCH] disable warning 58 sometimes it's ok to not have a .cmx, I promise --- dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)))