diff --git a/src/pool.ml b/src/pool.ml index 4264a20f..e7dcb1cd 100644 --- a/src/pool.ml +++ b/src/pool.ml @@ -18,7 +18,7 @@ let add_global_thread_loop_wrapper f : unit = let l = A.get global_thread_wrappers_ in not (A.compare_and_set global_thread_wrappers_ l (f :: l)) do - () + Domain_.relax () done exception Shutdown