Skip to content

normalize for Fail printing locations

Ralf Jung requested to merge ralf/fail into master

Adjusts test suite for https://github.com/coq/coq/pull/15174

Merge request reports