diff options
| author | Guillaume Melquiond | 2015-09-29 21:27:26 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-09-29 21:27:26 +0200 |
| commit | 99918c8a8cfb4285798a70351673be2679a6e819 (patch) | |
| tree | d4a8682ac818432d4dfcbb454170f01dbe9c26c5 /kernel/nativelambda.ml | |
| parent | 05ab666a1283de5500dbc0520d18bdb05d95f286 (diff) | |
Fix dumb typo.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions