From c9b1caaa5516d616e400faa7a7c0278c8677c51c Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 13 Mar 2014 15:41:44 +0100
Subject: STM: move out a couple of submodules

These modules are not as reusable as one may want them to be, but
moving them out simplifies a little STM.
---
 lib/lib.mllib | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/lib.mllib')

diff --git a/lib/lib.mllib b/lib/lib.mllib
index 9ba1e15b9..50621df20 100644
--- a/lib/lib.mllib
+++ b/lib/lib.mllib
@@ -25,3 +25,5 @@ Future
 RemoteCounter
 Dag
 Vcs
+TQueue
+WorkerPool
-- 
cgit v1.2.3