diff --git a/src/threads/CCPool.ml b/src/threads/CCPool.ml index 2a6b5e95..59dffa92 100644 --- a/src/threads/CCPool.ml +++ b/src/threads/CCPool.ml @@ -517,6 +517,7 @@ module Make(P : PARAM) = struct (* map an array of futures to a future array *) let sequence_a a = match a with | [||] -> return [||] + | [| x |] -> map (fun x->[|x|]) x | _ -> sequence_ (A_ a) (fun () -> Array.map get_nolock_ a)