From 64eb7737e3c0814ec46c4d4e47dd46c3f9855d00 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 6 Jun 2023 22:55:45 -0400 Subject: [PATCH] revert change that broke 4.03 --- src/threads/CCPool.mli | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/threads/CCPool.mli b/src/threads/CCPool.mli index 93a543b4..a27e7838 100644 --- a/src/threads/CCPool.mli +++ b/src/threads/CCPool.mli @@ -14,8 +14,10 @@ end exception Stopped +[@@@ocaml.warning "-67"] + (** {2 Create a new Pool} *) -module Make (_ : PARAM) : sig +module Make (P : PARAM) : sig val run : (unit -> _) -> unit (** [run f] schedules [f] for being executed in the thread pool. *)