diff options
| author | Enrico Tassi | 2016-10-26 17:35:47 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2016-10-26 17:35:54 +0200 |
| commit | ff0fea7a07d85342586f65d68e9fdee0ff0c3d74 (patch) | |
| tree | 5cafa9e671b32acd09e3041139aec781ca9d9b83 /kernel/cbytecodes.ml | |
| parent | 4a82de3b5b9d4a1a0830291b5b9a485bf2a16ded (diff) | |
STM: make ~valid state id non optional from APIs
It used to be Stateid.initial by default. That is indeed a valid
state id but very likely not the very best one (that would be
the tip of the document).
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions