diff options
| author | Tanaka Akira | 2019-01-31 18:00:33 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-01-31 18:00:33 +0900 |
| commit | 0690df26640cd825f45e62bb10fc6721712bf858 (patch) | |
| tree | 388a90b6c344a8ad326b9a4deba1853440762da6 /kernel/nativecode.ml | |
| parent | cdecb3f5bf0b0302cbfa0374053c97d81426e2c5 (diff) | |
Use \Match for match construct.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions