Skip to content

Remove unnecessary arguments from `ResolveProphS`.

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.

Merge request reports