diff --git a/opam.pins b/opam.pins
index 215997ace9c938cc08c4d4ad42a14f0959404ea2..bd50b2ef080c891df37847bfb9cdc36e26d750f3 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 857f9909b773754d521d47f0fe6f43aec6c3214d
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 09d97eae9eba95ebf5539a0b32e88bfc0b61c0fe