From 50a44a76e1f13a85a07e4a5f9f728f20d841bbef Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 9 Jul 2025 16:25:03 -0400 Subject: [PATCH] forkjoin not longer optional --- src/forkjoin/dune | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/forkjoin/dune b/src/forkjoin/dune index 84849c9b..cc6629f2 100644 --- a/src/forkjoin/dune +++ b/src/forkjoin/dune @@ -4,6 +4,4 @@ (synopsis "Fork-join parallelism for moonpool") (flags :standard -open Moonpool) (optional) - (enabled_if - (>= %{ocaml_version} 5.0)) (libraries moonpool moonpool.private picos))