diff options
| author | Hugo Herbelin | 2019-12-04 14:19:26 +0100 |
|---|---|---|
| committer | GitHub | 2019-12-04 14:19:26 +0100 |
| commit | 24651e3b840b58d3bcf7efb1fa6af4da603a0863 (patch) | |
| tree | 0b21e40fc315aa9f4e5cba1a01aad8dc64bd8bb5 | |
| parent | 645447c1e05a95e90d09b946b322a5b587482e8e (diff) | |
Update doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst
OK, thanks.
Co-Authored-By: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
| -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). |