diff options
| author | Hugo Herbelin | 2016-10-13 09:07:55 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-10-13 09:09:32 +0200 |
| commit | db18609c06b73ac168ad06a0c2073188587f5814 (patch) | |
| tree | 05c5fedffcacf12fc4eb68a9e3ee408a9587b034 /kernel/cbytecodes.ml | |
| parent | 2faa03903f63523707503ff7b10acac0f959ed0a (diff) | |
Completing reverting generalization and cleaning of the return clause inference.
Revert "Inference of return clause: giving uniformly priority to "small inversion"."
This reverts commit 980b434552d73cb990860f8d659b64686f6dbc87.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions