diff options
| author | Tanaka Akira | 2020-09-30 02:44:24 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2020-09-30 02:44:24 +0900 |
| commit | 9995c44df32858624a84a5f87f14a4a24124f84e (patch) | |
| tree | 5c52b3178417ddb1d42b055f1e1450c42698c410 /kernel/nativevalues.ml | |
| parent | ff74bba7c4ef0c6f3e17944b015e05fc23bad1af (diff) | |
Type{i} should be Type(i).
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions