Skip to content

normalize for Fail printing locations

Ralf Jungrequested to merge
ralf/fail into master

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

Merge request reports