diff --git a/opam.pins b/opam.pins
index 13e3aec299e03fc5e457239e637e598d9e9251fd..e9084293d608a87962aafe48434881bc8c09f431 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 9bafdd7eea6d8015ffb127cb3a5133eba86e0ce9
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 21fbbdde77c9e8b5d9cf2ad908c0921528ca02f2