Skip to content

Use `class_apply` instead of `refine` to avoid unwanted evars

Maxime Dénès requested to merge maximedenes/iris-coq:fix-class-apply into master

This is similar to 394075cc, and is required for compatibility with Coq's PR #7825.

Merge request reports