diff options
| author | coqbot-app[bot] | 2021-02-04 12:06:37 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-04 12:06:37 +0000 |
| commit | 9485db5e16edeaf408f73758f2e7f9531dc7d3e0 (patch) | |
| tree | 6eaf3c25f86c32b35f3a257ef3602dbd1eeffd82 /pretyping | |
| parent | c7d0084fc64042380dd1675095f8be6ec438fcb0 (diff) | |
| parent | 32dee1c6fe4bf52e5065783ca6b693b74295ebde (diff) | |
Merge PR #13731: vernac/declaremods: make object collection tail-recursive
Reviewed-by: SkySkimmer
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions