Fix atomic snapshot example

Update to the new prophecy variable interface (with lists).

added 1 commit

• ea3efe2f - Fix atomic snapshot example

Compare with previous version

Please also update the opam file to the matching version of Iris.

added 1 commit

• e70f486e - Fix atomic snapshot example

Compare with previous version

OK @jung, that's done.

Thanks!

mentioned in commit 4b90e550

merged