Adding changelog for #17857

coq · Jul 14, 2023 · 391fbcf · 391fbcf
1 parent 8b0c27d
commit 391fbcf
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/...anguage/17857-master+fix17854-too-late-duplicate-var-check-pattern-matching.rst b/...anguage/17857-master+fix17854-too-late-duplicate-var-check-pattern-matching.rst
@@ -0,0 +1,5 @@
+- **Fixed:**
+  Anomaly in the presence of duplicate variables within a disjunctive pattern
+  (`#17857 <https://github.com/coq/coq/pull/17857>`_,
+  fixes `#17854 <https://github.com/coq/coq/issues/17854>`_,
+  by Hugo Herbelin).