diff options
| author | Alec Faithfull | 2015-06-23 13:09:34 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-06-23 22:54:38 +0200 |
| commit | 1834d60f373fb63c32d179f2cf03ee4da7880bb0 (patch) | |
| tree | e401a25d0d3f1d9fbc32dc459fccaf6494e578cc /kernel/cbytecodes.ml | |
| 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 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions