diff options
| author | Matthieu Sozeau | 2015-02-10 19:32:16 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-02-10 19:32:16 +0100 |
| commit | c3d6651262a3ef8651de0c738e88b0f8ed34fdc2 (patch) | |
| tree | 25fe65cd08cc0feec477fdf363e9b701314c8344 /kernel/nativelib.mli | |
| parent | 9360af713794cb9ecf3c5e7d686c6f486a65df7f (diff) | |
Fix typeops ignoring results of check functions with let _, and one
safety hole in judge_of_constant_knowing parameters which was not
checking the result of the check correctly (the rest of the calls in
that file and all of the checker have been checked).
Diffstat (limited to 'kernel/nativelib.mli')
0 files changed, 0 insertions, 0 deletions