diff options
Diffstat (limited to 'stm/tQueue.ml')
-rw-r--r-- | stm/tQueue.ml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/stm/tQueue.ml b/stm/tQueue.ml index fe9cf015a..04e4e81f9 100644 --- a/stm/tQueue.ml +++ b/stm/tQueue.ml @@ -103,15 +103,6 @@ let wait_until_n_are_waiting_and_queue_empty j tq = done; Mutex.unlock tq.lock -let dump { queue; lock } = - let l = ref [] in - Mutex.lock lock; - while not (PriorityQueue.is_empty queue) do - l := PriorityQueue.pop queue :: !l - done; - Mutex.unlock lock; - List.rev !l - let wait_until_n_are_waiting_then_snapshot j tq = let l = ref [] in Mutex.lock tq.lock; |