diff --git a/opam.pins b/opam.pins
index 22cd46058e3d6684f434b070dd68ca6354d1d8b8..629a8a4ae63f1acd7aee4b9b87bd6774d0adf807 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq c325f7a97464f0242e534938c5941a72c29452a2
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 039f9fd5f753337034dcbfbbdb311cebdfa93acf