diff --git a/opam.pins b/opam.pins
index 1b5b31d49c1a5dd9680f0cb3a987a575274a1196..5468be99e67c68184ddcb341f93de10907046317 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp a0ce0937cfabe16a184af2d92c0466ebacecbca2
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 22511f77518d7d9845c5458f222c52621da11f70