diff --git a/opam.pins b/opam.pins
index 8868ac832f86730265e263d3f020bf51de135b91..c4d725d34d64f1628f8da3e50c89649e8b1e3534 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq b863cfd7640f5dccb14c17e9ffefb475f1b7d0d8
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq d1ec2aec60d1f069d5ed15282d7a2cfd1e8fb499