diff options
| author | Pierre-Marie Pédrot | 2017-09-05 01:07:04 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-05 01:07:04 +0200 |
| commit | 9a3853fe872e200ed1b34319f6ff0f85a171a434 (patch) | |
| tree | 5ef7e1f5509fc46baf7dc03a5a7ca3b2cca2530a /kernel/type_errors.mli | |
| parent | da28b6e65d9b9a74c277cb15055131c8a151bb72 (diff) | |
Fixup grammar of typeclasses_eauto.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions