diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-10-27 23:27:50 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-10-28 16:57:55 +0100 |
| commit | 9ce6802ea563437b15e45198f4d8d0f716a576bb (patch) | |
| tree | 48dda29cb53de4d0eaf8258ee24bf2357d6ff071 /kernel/reduction.mli | |
| parent | 95669265239c4da7f5cfcf134825f6801e52391f (diff) | |
Fix minor typo in native compiler.
Diffstat (limited to 'kernel/reduction.mli')
0 files changed, 0 insertions, 0 deletions