diff --git a/opam.pins b/opam.pins
index 63a5acc47dd361597b7b33e3e4fb47d9f6c91772..13e3aec299e03fc5e457239e637e598d9e9251fd 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 6456f1f92fa1fc40b823535dedd8b3989827fd06
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 9bafdd7eea6d8015ffb127cb3a5133eba86e0ce9