diff --git a/opam.pins b/opam.pins
index 5957dcd0f0dfa15f933e9513f50fdae25362df04..ad8c09a8a7d1f15d589d3ab884d5053aa6d86498 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 5180d1cd4548b2ae5193fe9e76b97cbf6ffbc345
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq a1bf05fe892801c43a9d61e8cb7cf7cb1f1eced3