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