path: root/doc/changelog/04-tactics/12256-unfold-dyn-check.rst

- **Changed:**
  The check that unfold arguments were indeed unfoldable has been moved to runtime
  (`#12256 <https://github.com/coq/coq/pull/12256>`_,
  by Pierre-Marie Pédrot).