Skip to content

Fix a proof broken on Coq master

Tej Chajed requested to merge tchajed/iris-coq:fix-proof-coq-master into master

Automatic naming seems to have changed to create a conflict in this proof script.

Merge request reports