diff --git a/opam.pins b/opam.pins
index b46f6d5572d35efbf4d3cb9f54e9c36f2e2c0341..4804dd04aa65373d1dceb53c93d25117a7b3e47a 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 046dfe312207d09e1fcbf72dee204be3694195f1
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 5c7064e1988fbcdf225f2be658bc3ebd24ef51df