From c1b6312cad63c057135341eacf4bd7e5d21fd022 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 29 Aug 2023 14:15:20 -0400 Subject: [PATCH] Update src/d_pool_.ml --- src/d_pool_.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/d_pool_.ml b/src/d_pool_.ml index 2ef5126e..a39c520f 100644 --- a/src/d_pool_.ml +++ b/src/d_pool_.ml @@ -14,7 +14,7 @@ type worker_state = { (** Array of (optional) workers. Workers are started/stop on demand. *) -let domains_ : (worker_state option * unit Domain.t option) Lock.t array = +let domains_ : (worker_state option * unit Domain_.t option) Lock.t array = (* number of domains we spawn. Note that we spawn n-1 domains because there already is the main domain running. *) let n = max 1 (Domain_.recommended_number () - 1) in