Skip to content
GitLab

Remove unnecessary arguments from `ResolveProphS`.

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

I think it is a leftover from the pre-Val injection age.