diff options
| author | Enrico Tassi | 2014-04-25 17:04:33 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-04-25 17:09:22 +0200 |
| commit | 67b85b04d6d78d8e4bbec58eab4b0630abfcd67d (patch) | |
| tree | e60450476c561dca20af78d70fb3f9e8efc262af /lib/future.ml | |
| parent | 6e131a1e5d51af09b0c3163f2a32c9e47243af33 (diff) | |
Opaqueproofs: sink futures when interactive
Diffstat (limited to 'lib/future.ml')
0 files changed, 0 insertions, 0 deletions