diff --git a/opam.pins b/opam.pins
index 396d7477d30b35af2e6dc00259a2c5c318a5e878..ce27694776055a4348bd08b4c130c2b609011639 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq b212b3faddae4b089f30ef1c7a27d43ebd3a1675
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 766dbcd2415df9256f197dc562a0a15f9b0ddeac