Merge branch 'wp_binop_fix' into 'master'

Fix a file broken due to wp_binop changes

See merge request FP/iris-examples!7
2 jobs for master in 10 minutes and 19 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
failed #11458
fp
build-coq.8.6.1

00:06:56

canceled #11457
fp-timing
build-coq.8.7.2

00:03:23

 
Name Stage Failure
failed
build-coq.8.6.1 Build
[coq-iris-examples-builddep] /builds/FP/iris-examples/build-dep/ already up-to-date
Install ? [Y/n] y
[WARNING] coq-iris-examples-builddep is not installed.
Sorry, no solution found: there seems to be a problem with your request.

No solution found, exiting
Makefile:29: recipe for target 'build-dep' failed
make: *** [build-dep] Error 3
ERROR: Job failed: exit code 1