diff --git a/src/threads/CCPool.ml b/src/threads/CCPool.ml index 4bc1816d..2a6b5e95 100644 --- a/src/threads/CCPool.ml +++ b/src/threads/CCPool.ml @@ -55,7 +55,7 @@ module Make(P : PARAM) = struct let set_exn_handler f = pool.exn_handler <- f - let with_lock_ t f = + let[@inline] with_lock_ t f = Mutex.lock t.mutex; try let x = f t in