blob: 8f126c5b6f1286c4d715b64d121d514855dc7789 (
plain)
1
2
3
4
5
|
- **Fixed:**
Case of an anomaly in trying to infer the return clause of an ill-typed :g:`match`
(`#12422 <https://github.com/coq/coq/pull/12422>`_,
fixes `#12418 <https://github.com/coq/coq/pull/12418>`_,
by Hugo Herbelin).
|
