diff options
| author | Matthieu Sozeau | 2017-07-25 19:03:39 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2018-06-15 11:55:12 +0200 |
| commit | 0419c41d8338c622a7b17dd055dfcc701c65739a (patch) | |
| tree | 429297ea513744d39899b4002c53884a99b92168 /kernel/type_errors.ml | |
| parent | 31e13998542941040343cb81787a1d7c865d5b65 (diff) | |
cArray: proper invalid_arg exceptions
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions