blob: d3ef244cb0517a0c8248df2a6ac1e348f75b64bb (
plain)
1
2
3
4
5
6
|
- **Changed:**
In `Record`, alpha-rename the variable associated with the record to avoid
alpha-renaming parameters of projections
(`#13852 <https://github.com/coq/coq/pull/13852>`_,
fixes `#13727 <https://github.com/coq/coq/issues/13727>`_,
by Li-yao Xia).
|
