aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/tQueue.ml
diff options
context:
space:
mode:
authorGravatar Enrico Tassi <Enrico.Tassi@inria.fr>2014-10-08 17:28:18 +0200
committerGravatar Enrico Tassi <Enrico.Tassi@inria.fr>2014-10-13 18:13:20 +0200
commit7cfcaa57a68ea9abde9e2558ceef86589aa26d6d (patch)
tree4a6b0795b7a4408b0651d34146329495b423ff29 /stm/tQueue.ml
parente3a0a4d58b74d2113485ceabe4235567fda962c8 (diff)
STM: primitives to snapshot a .vi while in interactive 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;