diff --git a/opam.pins b/opam.pins
index 16be4581cba6108c7f210c4b9dcdfa4bc215620f..cbfb3aa037aaf068ab5c6b5ed9bf78b1af6e11cd 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 587cde167492b4b25f1d11ca7797c2087527abd6
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq be81fb92a76f31ca656f8dad37122843f58884cf