diff options
| author | Guillaume Melquiond | 2021-03-25 14:59:06 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-03-26 15:18:28 +0100 |
| commit | 8325738669b591c295848fb8d366ac838273bf75 (patch) | |
| tree | c7b84603b2cbd51fe4c765625fa05c0defab2009 /kernel/type_errors.ml | |
| parent | 682a3f473d318e549ed8cf61f3690573e32c00be (diff) | |
Be more thorough when testing PArray.set.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions