simon/moonpool
1
0
Fork 0
mirror of https://github.com/c-cube/moonpool.git synced 2025-12-17 16:16:48 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update src/d_pool_.ml

Browse source
This commit is contained in:
Simon Cruanes 2023-08-29 14:15:20 -04:00 • committed by GitHub
parent ca5fd92af0
commit 6a3b07de01
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/d_pool_.ml
View file

@ -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