fix(phl): `swap` with a code path must rebuild the enclosing program - #1134

Merged

strub merged 1 commit into

EasyCrypt:mainfrom

Yiping106283:fix-swap-codepath-context

Sep 11, 2026

Commits on Sep 11, 2026

fix(phl): `swap` with a code path must rebuild the enclosing program

authored and
strub
committed
0d01353