Adapt to https://github.com/coq/coq/pull/18928

Adapt output tests to upstream PR on Coq https://github.com/coq/coq/pull/18928

This won't work as now tests will fail on 8.19.

I'm already working on getting Iris fixed for that PR; should be done soon. c317cd31 was the part of that for std++. So I don't think we want this PR. Sorry for the trouble!

closed

mentioned in merge request iris!1046 (closed)

Sorry, I thought this was already fixed by having output tests on a single Coq version. Let me know if I can be of any help.