blob: c79fc7e29a8e1ccea25cde6233570450637af5c9 (
plain)
1
2
3
4
|
- **Fixed:**
Ltac2 ``Array.init`` no longer incurs exponential overhead when used
recursively (`#14012 <https://github.com/coq/coq/pull/14012>`_, fixes `#14011
<https://github.com/coq/coq/issues/14011>`_, by Jason Gross).
|
