diff options
| author | Guillaume Melquiond | 2016-06-23 10:30:04 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-06-23 10:30:04 +0200 |
| commit | 4b4397e185cee54052819ad63bef3ecd56ba4512 (patch) | |
| tree | 4812511b49ee1f4ac0402e6074dfd92b69298f5f /kernel/nativelambda.mli | |
| parent | 7ae226092719b26f71b675d6ceb211801349bc00 (diff) | |
Fix typo.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions