diff options
| author | Langston Barrett | 2018-08-07 11:35:50 -0700 |
|---|---|---|
| committer | Langston Barrett | 2018-08-07 11:35:50 -0700 |
| commit | 057345df3a6f5e46b76b9d8a395d75ba8b0965e9 (patch) | |
| tree | 17b4c65e14e3e2b1342d954065eefd3e2daa0ded /kernel/type_errors.mli | |
| parent | 888479b3514d714253d789d9ed054eaf422f5e14 (diff) | |
fix three small typos
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions