diff --git a/opam.pins b/opam.pins
index fae78326c72635dc3580e94e06a42c8829950331..40b381afb003340e4fcae77d9641818b5f1e4a7c 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq fd42adfe6236b6bebacb963e8fed3f7d1f935e26
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq f49a7f18c4afc34b9d2766f2b18e45e1a3cd38e7