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/stateid.ml | |
| 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/stateid.ml')
0 files changed, 0 insertions, 0 deletions