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)