diff options
| author | Matthieu Sozeau | 2014-07-10 15:39:01 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-07-10 15:40:41 +0200 |
| commit | a071ac178ee9e6ca0cbae14db24e10775b0af881 (patch) | |
| tree | c732d20cb8ecd149300d60c2c69ba92432c84891 /kernel/cemitcodes.mli | |
| parent | 3abbc93733b7f820a436beedcd0b9292378e1840 (diff) | |
Overlooked to remove a change in kernel/closure that made reducing under
a primitive projection impossible.
Diffstat (limited to 'kernel/cemitcodes.mli')
0 files changed, 0 insertions, 0 deletions