diff --git a/opam.pins b/opam.pins
index bc9f827d8a64679df21986aa33bc6921c0581090..dc3d8841761c978aa10f0808ca82d68893eee94e 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 683b706631e7b85b76393dbbac9c01fe187a1613
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq fb1de8a829222a772de741f9eb9a9a9eb15d966d