Change log for #18616

coq · Feb 3, 2024 · 1122998 · 1122998
1 parent b3f4c12
commit 1122998
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/...angelog/04-tactics/18616-master+fix17897-cbn-wrong-canonical-name-refolding.rst b/...angelog/04-tactics/18616-master+fix17897-cbn-wrong-canonical-name-refolding.rst
@@ -0,0 +1,6 @@
+- **Fixed:**
+  :tacn:`cbn` was leaving behind unnamable constants when refolding
+  mutual fixpoints/cofixpoints from aliased modules
+  (`#18616 <https://github.com/coq/coq/pull/18616>`_,
+  fixes `#17897 <https://github.com/coq/coq/issues/17897>`_,
+  by Hugo Herbelin).