diff --git a/benchs/run_benchs.ml b/benchs/run_benchs.ml index 23fa0be3..10402385 100644 --- a/benchs/run_benchs.ml +++ b/benchs/run_benchs.ml @@ -935,6 +935,7 @@ module Thread = struct [100; 1_000] ) [ 2, 3, 3 ; 5, 3, 3 + ; 1, 5, 5 ; 2, 10, 10 ; 5, 10, 10 ; 20, 10, 10 diff --git a/src/threads/CCThread.ml b/src/threads/CCThread.ml index a482b030..3e1b68ed 100644 --- a/src/threads/CCThread.ml +++ b/src/threads/CCThread.ml @@ -53,7 +53,7 @@ module Barrier = struct with_lock_ b (fun () -> while not b.activated do - Condition.wait b.cond b.lock + Condition.wait b.cond b.lock done )