Skip to content

Fix name, `Later_inj` -> `Next_inj`.

Dan Frumin requested to merge dfrumin/iris-coq:master into master

This is more consistent in how the _inj Instances are named

Merge request reports