diff options
| author | coqbot-app[bot] | 2020-11-19 18:56:48 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-19 18:56:48 +0000 |
| commit | c7686fe3ddd90ea707411296bbc9ec0b8cc99a2c (patch) | |
| tree | 05953e1e752fcb37a9a20188443bdfce74fad832 | |
| parent | 3037172c80190b74b2c0f3017420cc871e74c996 (diff) | |
| parent | ff1fe87cc1512e6808b1d06ba2e8e2dbfa50d877 (diff) | |
Merge PR #13421: Fix typo in rst link syntax.
Reviewed-by: jfehrle
| -rw-r--r-- | doc/sphinx/changes.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 4d59fc0513..24fa71059c 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -147,7 +147,7 @@ Specification language, type inference This makes typeclasses with declared modes more robust with respect to the order of resolution. (`#10858 <https://github.com/coq/coq/pull/10858>`_, - fixes `#9058 <https://github.com/coq/coq/issues/9058>_`, by Matthieu Sozeau). + fixes `#9058 <https://github.com/coq/coq/issues/9058>`_, by Matthieu Sozeau). - **Added:** Warn when manual implicit arguments are used in unexpected positions of a term (e.g. in `Check id (forall {x}, x)`) or when an implicit |