Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix #6631: Derive Plugin gives "Anomaly: more than one statement". | Pierre-Marie Pédrot | 2018-03-29 |
We use a lower level function that accesses the proof without raising an anomaly. This is a direct candidate for backport, so I used a V82 API but eventually this API should be cleaned up. |