diff options
| author | Gaëtan Gilbert | 2020-07-06 10:45:09 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-07-06 10:45:09 +0200 |
| commit | 3244b9c6e4159042bae0cd2ad48aba77928d7b2d (patch) | |
| tree | 766639fc71a0e4bfa6a84d7d83e4f1fe571232e0 /kernel/nativelambda.ml | |
| parent | cea10e4e16c05b06693184425dd70ce6e5eba8a8 (diff) | |
| parent | a37b68ca7920f55aef426d443f1f84c4033850b5 (diff) | |
Merge PR #12622: Use goal cycling instead of manual evar generation order in internal_cut_rev
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions