diff options
| author | Tanaka Akira | 2019-01-31 16:41:29 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-01-31 16:41:29 +0900 |
| commit | 1e463ce8983c17c10b5404b98eca0b4de727ec51 (patch) | |
| tree | 3c69931c5ec7939e1e67cb37cf427592269cc42c /kernel/type_errors.mli | |
| parent | ad13db81f25f48d1a0c800b16200426003c08b07 (diff) | |
Make parenthesis correctly matched.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions