From 56ca108e63191e90c3d4169c37a4c97017e3c6ae Mon Sep 17 00:00:00 2001
From: Alec Faithfull <alef@itu.dk>
Date: Tue, 6 Oct 2015 14:19:34 +0200
Subject: TQueue: Expose the length of TQueues

---
 stm/tQueue.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'stm/tQueue.mli')

diff --git a/stm/tQueue.mli b/stm/tQueue.mli
index 7458de510..f54af4df4 100644
--- a/stm/tQueue.mli
+++ b/stm/tQueue.mli
@@ -28,3 +28,5 @@ exception BeingDestroyed
 (* Threads blocked in pop can get this exception if the queue is being
  * destroyed *)
 val destroy : 'a t -> unit
+
+val length : 'a t -> int
-- 
cgit v1.2.3