From 7cfcaa57a68ea9abde9e2558ceef86589aa26d6d Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 8 Oct 2014 17:28:18 +0200
Subject: STM: primitives to snapshot a .vi while in interactive mode

---
 stm/tQueue.ml | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'stm/tQueue.ml')

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;
-- 
cgit v1.2.3