From e820cb83ea23c95c81fb58f078cec737c93b3a8b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 9 Jun 2023 15:11:25 -0400
Subject: [PATCH] fix

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