From 71981e437c19b7cee5c8fe5ee96ce4436484e08e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 8 Jun 2023 16:35:12 -0400 Subject: [PATCH] fix: d_pool: fix for ocaml < 5.0 --- 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 189a02cb..250f3fd7 100644 --- a/src/d_pool_.ml +++ b/src/d_pool_.ml @@ -14,7 +14,7 @@ let domains_ : worker array lazy_t = lazy ((* number of domains we spawn. Note that we spawn n-1 domains because there already is the main domain running. *) - let n = Domain_.recommended_number () - 1 in + let n = max 1 (Domain_.recommended_number () - 1) in Array.init n (fun i -> let q = Bb_queue.create () in let _domain : domain = Domain_.spawn (fun () -> work_ i q) in