diff options
Diffstat (limited to 'doc/changelog/04-tactics/10760-more-rapply.rst')
| -rw-r--r-- | doc/changelog/04-tactics/10760-more-rapply.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/changelog/04-tactics/10760-more-rapply.rst b/doc/changelog/04-tactics/10760-more-rapply.rst index eeae2ec519..32cd9b7135 100644 --- a/doc/changelog/04-tactics/10760-more-rapply.rst +++ b/doc/changelog/04-tactics/10760-more-rapply.rst @@ -4,5 +4,5 @@ rare cases where users were relying on :tacn:`rapply` inserting exactly 15 underscores and no more, due to the lemma having a completely unspecified codomain (and thus allowing for any number of - underscores), the tactic will now instead loop. (`#10760 - <https://github.com/coq/coq/pull/10760>`_, by Jason Gross) + underscores), the tactic will now instead loop (`#10760 + <https://github.com/coq/coq/pull/10760>`_, by Jason Gross). |