path: root/doc/changelog/01-kernel/11811-uncheck_positivity_bug.rst

- **Fixed:**
  Allow more inductive types in `Unset Positivity Checking` mode
  (`#11811 <https://github.com/coq/coq/pull/11811>`_,
  by SimonBoulier).