diff --git a/supplements/coq-diaframe-simuliris.opam b/supplements/coq-diaframe-simuliris.opam
index 3a5a2baf1921217a2cfb4dc125e1515e09ed8837..8000d0d3cf71a2c9433ae7a19df8efac3eec8e4c 100644
--- a/supplements/coq-diaframe-simuliris.opam
+++ b/supplements/coq-diaframe-simuliris.opam
@@ -13,7 +13,7 @@ depends: [
   "coq-simuliris"
 ]
 pin-depends: [
-  ["coq-simuliris.dev" "git+https://gitlab.mpi-sws.org/iris/simuliris#b7030e3a"]
+  ["coq-simuliris.dev" "git+https://gitlab.mpi-sws.org/iris/simuliris#4099b244"]
 ]
 build: [make "-j%{jobs}%" "diaframe-simuliris"]
 install: [make "install-diaframe-simuliris"]