diff --git a/opam.pins b/opam.pins
index 6bdd007ff49f2f199807d04a4c5b682c9d31fae6..ad9b83eebef499643c8c8846676f339960b85021 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 4ea9c34a9c58a13aae97b4cc7f75fc862bdfcc7c
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 937ef30bf65c03d0598f2ff86a20d9aa25b5a132