diff options
| author | Enrico Tassi | 2014-09-08 13:17:06 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-09-09 13:11:38 +0200 |
| commit | 9d443eb0ff815a804f771335f0ac38a94d2851f2 (patch) | |
| tree | 3e98143409529e20f61169ea7dc1039376139a8b /stm/asyncTaskQueue.ml | |
| parent | de5ed8e17df8433d4f0ffe6a6440505b5a530638 (diff) | |
Dropped proofs (Abort) are evaluated synchronously (Closes: 3550, 3407)
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions