Skip to content

Prevent iFrame from instantiating existentials under updates.

Janno requested to merge janno/iris:janno/iframe-no-upd into master

I think these cases were accidentally left out in !1035 (merged).

We've only just managed to get to most of our iris proofs in our 8.19 bump and didn't notice breakage from this omission earlier.

/cc @snyke7

Merge request reports