diff options
| author | Hugo Herbelin | 2020-05-28 18:17:30 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-05-29 14:06:14 +0200 |
| commit | 22d0e5cf023ce3fc33a8a5c0dd774847aa06e0b0 (patch) | |
| tree | 546eb29528deac11e7a151ce0752b855705af0ea /stm/asyncTaskQueue.ml | |
| parent | d75b889948fbfd5600d505ab823a0e6da2195af6 (diff) | |
Fixes #12418 (inference of return clause meets assert false).
This is a quick fix to avoid the anomaly, with a fallback on before
b1b8243b7fc.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions