diff options
| author | coqbot-app[bot] | 2020-10-26 10:50:11 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-26 10:50:11 +0000 |
| commit | 689e86b9241411180248e3115364a972833f0851 (patch) | |
| tree | 7b6b1dea204323ff192adca89f54843d499a40dc /kernel/vmlambda.ml | |
| parent | 716299d489b5a91ab46b28900d04cd5dd7f7acac (diff) | |
| parent | 8137ab9f44d621c2aac5c70313302fd4f27c0e74 (diff) | |
Merge PR #13223: [declare] Remove recursive declaration from non-recursive functions
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/vmlambda.ml')
0 files changed, 0 insertions, 0 deletions