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