diff options
| author | Guillaume Melquiond | 2015-10-29 16:53:15 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-10-29 16:54:01 +0100 |
| commit | dc13be3390c7b1d375d11842abb36e63aeb91cad (patch) | |
| tree | 37e627a81ebe55b97e78525e70b1e251da801324 /kernel | |
| parent | 654b69cbeb55a0cab3c2328d73355ad2510d1a85 (diff) | |
Avoid an anomaly when destructing an unknown ident. (Fix bug #4395)
It is too bad that OCaml does not warn when catching an exception over a
closure rather than inside it.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions