diff options
| author | Matthieu Sozeau | 2016-06-13 22:28:14 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-06-13 22:28:14 +0200 |
| commit | 3bb0753d1589489b0e33f6a116a84c4fa72ed49f (patch) | |
| tree | 02fce91ef79106ddf3fbd1eecb325bf081f5b7bb /kernel/type_errors.ml | |
| parent | 784d82dc1a709c4c262665a4cd4eb0b1bd1487a0 (diff) | |
Fix test-suite file, only part 2 is fixed in 8.5
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions