diff --git a/opam.pins b/opam.pins
index 0b7c8410bff94cde34cf2af747cdddc6513ff8ff..3a65a2b9f02a5da100e02382a092f3b15ae8d623 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 2e3a9be08487e50bfc4bba911da6a11a4b715d36
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq e0789039ed0dcb01b6249fec2d5a36f66e5de21c