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