diff options
| author | Enrico Tassi | 2015-06-09 13:30:35 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-06-09 13:30:35 +0200 |
| commit | fbfc1b8d6e9d95fcbacd3f4ab4921d6f3b01198e (patch) | |
| tree | 75417b1dfa1720e28c265105a06e3fb23dc85847 /lib/errors.ml | |
| parent | a7a1ec22bc2aa06cc419f7012863656c3aec5871 (diff) | |
STM: states coming from workers have no proof terminators (Close #4246)
Hence we reuse the ones in master.
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions