diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-03-13 15:41:44 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-03-13 16:04:13 +0100 |
| commit | c9b1caaa5516d616e400faa7a7c0278c8677c51c (patch) | |
| tree | 2dc6f7870a9824f8b9c8357774287c5c44b332a2 /lib/lib.mllib | |
| parent | 8ee720fef8e21595827d18e1e28777c1d061a9e5 (diff) | |
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.
Diffstat (limited to 'lib/lib.mllib')
| -rw-r--r-- | lib/lib.mllib | 2 |
1 files changed, 2 insertions, 0 deletions
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 |