doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst


1
2
3
4
5
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).