diff options
| author | Tanaka Akira | 2019-01-31 16:19:49 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-01-31 16:19:49 +0900 |
| commit | 57c808ce4ab8332bdae9b19cf97866e5ac87a31a (patch) | |
| tree | 8a70bbb88d807d7649c238b52507a570c833714f /kernel/type_errors.mli | |
| parent | 039007f93fa130261c97ec1188560777f1a297b9 (diff) | |
Nest :math: and parenthesis properly.
Exchange a closing parenthesis and a :math: closing backquote.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions