aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/tQueue.ml
diff options
context:
space:
mode:
Diffstat (limited to 'stm/tQueue.ml')
-rw-r--r--stm/tQueue.ml9
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;