diff options
| author | Pierre-Marie Pédrot | 2019-12-30 20:12:42 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-12-30 20:12:42 +0100 |
| commit | 37254871c8e5ece576af7efddc20a9ed7f197e04 (patch) | |
| tree | 85f83648c5ed496c8f3b574ab9dab1a82e331039 /doc | |
| parent | 3a9cab5e6df0f4d55520a17f6cb56067b68da92a (diff) | |
| parent | 24651e3b840b58d3bcf7efb1fa6af4da603a0863 (diff) | |
Merge PR #11233: Fixes #11231: missing dependency in looking for default clauses in pattern matching decompilation algorithm
Ack-by: Zimmi48
Reviewed-by: ppedrot
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst | 6 |
1 files changed, 6 insertions, 0 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 new file mode 100644 index 0000000000..941469d698 --- /dev/null +++ b/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst @@ -0,0 +1,6 @@ +- **Fixed:** + 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 + Jay). |