diff --git a/opam.pins b/opam.pins
index e8f36d38b3e06b8205bd0e6ae0566837a5c0593d..3c8dba6db1ea92c03fc97c40a163fdedf780ae2a 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq#243fdd139ccdf1370e5b186650e4323d5e73e54b
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq#ce32b224b90b6c91eae1ddb60505107b2f66b263