diff --git a/opam.pins b/opam.pins
index febb0c13ad543bd49553f0f5102381f1a14a21cf..db57c918bc869777bdadec2782a242d2c49604bf 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq#90f773c0eb319320932edfd4a5fbe878673bb3de
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq#e5a3be94012cb4b61ca7d199e39ab026095eb51e