From fc5b243df5e21d57a7718544a6f4b946752d49fc Mon Sep 17 00:00:00 2001 From: Corentin Leruth Date: Sat, 26 Aug 2023 06:34:36 +0200 Subject: [PATCH] b_queue: use broadcast instead of signal --- src/tef/b_queue.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tef/b_queue.ml b/src/tef/b_queue.ml index 3780c38..c2daa83 100644 --- a/src/tef/b_queue.ml +++ b/src/tef/b_queue.ml @@ -31,7 +31,7 @@ let push (self : _ t) x : unit = ) else ( let was_empty = Queue.is_empty self.q in Queue.push x self.q; - if was_empty then Condition.signal self.cond; + if was_empty then Condition.broadcast self.cond; Mutex.unlock self.mutex )