diff options
| author |  Alec Faithfull <alef@itu.dk> | 2015-06-23 13:09:34 +0200 |
|---|---|---|
| committer |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-06-23 22:54:38 +0200 |
| commit | 1834d60f373fb63c32d179f2cf03ee4da7880bb0 (patch) | |
| tree | e401a25d0d3f1d9fbc32dc459fccaf6494e578cc /library/library.mli | |
| parent | f39a711555d76926b6e0ddf5480a6411abc862a9 (diff) | |
Wrap the program_info type up in the ephemeron mechanism
This type contains a few unmarshallable fields, which can cause STM
workers to break in unpleasant ways when running queries
Diffstat (limited to 'library/library.mli')
0 files changed, 0 insertions, 0 deletions