diff --git a/opam.pins b/opam.pins
index d6a8be766eafdbfa9679accc8a561e7889bafc1b..fd3eb4bef05e35eed4018fb61685bd07489e7ea1 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq b72a3301d7ff957cfbb06d06bba85fb4ee9a2c39
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 0cc2c6e098bfb05c056783b9212c9218fa46aa5e