From f0aadc0307fa870e568788b853d9d60b68342b18 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 15 Feb 2026 15:54:03 -0500 Subject: [PATCH] disable warning --- src/ws/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ws/dune b/src/ws/dune index 36e984dd..12ef15ff 100644 --- a/src/ws/dune +++ b/src/ws/dune @@ -51,7 +51,7 @@ (public_name tiny_httpd.ws) (synopsis "Websockets for tiny_httpd") (private_modules common_ws_ utils_) - (flags :standard -open Tiny_httpd_core) + (flags :standard -w -32 -open Tiny_httpd_core) (foreign_stubs (language c) (names tiny_httpd_ws_stubs)