diff options
| author | Arnaud Spiwack | 2014-02-24 16:26:34 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-02-24 16:26:34 +0100 |
| commit | 1bb2ee934bc2082865ee64f539497f3bc292a439 (patch) | |
| tree | 552e0835f4cf2f5af0cb0e39ef44a0746d35885a /kernel/type_errors.mli | |
| parent | 03d5cf5686e9ea5448ee5e4901792130d9527a74 (diff) | |
IStream: remove a useless Obj.magic.
Lazy.lazy_from_val does almost the same thing as this Obj.magic. It makes some extra dynamic check, but it's frankly unlikely that it could be observed.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions