diff --git a/opam.pins b/opam.pins
index b9ef09cf7cbb722351664e47d91fc93145b1afec..c27b271e6a5535406e09444e1fcfb2304b245e66 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 2c261344225e46042932f248db87fd1cde04b5cd
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp aad231293942f6a89fd3c408186e8d4d5b4425ce