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