diff options
| author | Maxime Dénès | 2018-01-29 11:11:35 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-01-29 16:02:59 +0100 |
| commit | 60cb1f81e475d4b0f044a56ec4de503e42bad99a (patch) | |
| tree | d4bd1f72304e71db8501dd91a6ee186356c4702b /kernel/nativecode.mli | |
| parent | 46b59c60152148c122ee6ac26cddca42ae4f8430 (diff) | |
[cbv] Fix evaluation of cofixpoints under primitive projections.
Fixes #5286 (last remaining part).
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions