diff --git a/opam.pins b/opam.pins
index f792a0b8c483ad876f4d444e4b8302a03e213168..b46f6d5572d35efbf4d3cb9f54e9c36f2e2c0341 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 0671cb48dd1f893c48672de216847d46d5263e04
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 046dfe312207d09e1fcbf72dee204be3694195f1