diff options
| author | Maxime Dénès | 2017-05-31 11:37:33 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-05-31 11:37:33 +0200 |
| commit | e7e0946401aa931ddca90d616a7968d548ab060f (patch) | |
| tree | 297dcfbb0c3daef08ac134c6b52c58ab09e3cdd3 /API/API.mli | |
| parent | ab19d271f91007cc76ed95d973bd9b95701c6b2e (diff) | |
| parent | 58e804f07172acc6bb01c8bdafde1217eb4ec4b8 (diff) | |
Merge PR#560: Reinstate fixpoint refolding in [cbn], deactivated by mistake (EDIT: for mutual fixpoints)
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions