diff options
| -rw-r--r-- | doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst b/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst index ad240ea30b..941469d698 100644 --- a/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst +++ b/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst @@ -2,5 +2,5 @@ A dependency was missing when looking for default clauses in the algorithm for printing pattern matching clauses (`#11233 <https://github.com/coq/coq/pull/11233>`_, by Hugo Herbelin, fixing - `#11231 <https://github.com/coq/coq/pull/11231>`, reported by Barry + `#11231 <https://github.com/coq/coq/pull/11231>`_, reported by Barry Jay). |