blob: b0cf4ca4e3600951f250f1a40671eb82a2d3a450 (
plain)
1
2
3
4
5
6
7
8
9
|
- **Changed:**
Tweaked the algorithm giving default names to arguments.
Should reduce the frequency that argument names get an
unexpected suffix.
Also makes :flag:`Mangle Names` not mess up argument names.
(`#12756 <https://github.com/coq/coq/pull/12756>`_,
fixes `#12001 <https://github.com/coq/coq/issues/12001>`_
and `#6785 <https://github.com/coq/coq/issues/6785>`_,
by Jasper Hugunin).
|
