Merge branch 'robbert/issue_206' into 'master'

Fix issue #206

Closes #206

See merge request FP/iris-coq!199
7 jobs for master in 12 minutes and 52 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #21825
fp
build-coq.8.7.1

00:06:02

passed #21824
fp
build-coq.8.7.2

00:06:00

passed #21823
fp-timing
build-coq.8.8.0

00:05:45

passed #21822
fp
build-coq.8.8.1

00:06:36

passed #21821
fp
build-coq.8.8.2

00:06:42

passed #21820
fp-timing
build-coq.8.9.dev

00:06:42

passed #21819
fp
build-coq.dev

00:09:05