doc/changelog/02-specification-language/13376-master+minifix-NotFoundInstance.rst


1
2
3
4
5

- **Fixed:**
  A case of unification raising an anomaly IllTypedInstance
  (`#13376 <https://github.com/coq/coq/pull/13376>`_,
  fixes `#13266 <https://github.com/coq/coq/issues/13266>`_,
  by Hugo Herbelin).