diff --git a/opam.pins b/opam.pins
index a463fdf4e6500fe9f16c06073c5944d2db4deb44..01c2054ac503af548c7732cce8de0a32d3c2ce7f 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp db2da9af69df9e0f0f116b5e1941907c7ff4478d
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp cb0212005028c40263a9b90d384dba0be849ef39