diff options
| author | Tanaka Akira | 2019-01-31 19:00:55 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-01-31 19:00:55 +0900 |
| commit | fcb4cf7628ea67cf342f8c39cb7f5151897ff72c (patch) | |
| tree | d549d1e2ff7bb2b900794433036b228dca8959aa /kernel/nativelib.ml | |
| parent | 382bd13a0cb7a045eef93db25e4fc45d7214c839 (diff) | |
Use "U" instead of "u" for a type.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions