diff --git a/opam b/opam
index 71ba2dffaf19797df07e08cc15bdcfd372b90194..95f85144d58f8e411594c629e97a49738c83a2cb 100644
--- a/opam
+++ b/opam
@@ -13,5 +13,5 @@ remove: ["sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/iris'"]
 depends: [
   "coq" { >= "8.6.1" & < "8.8~" }
   "coq-mathcomp-ssreflect" { (>= "1.6.1" & < "1.7~") | (= "dev") }
-  "coq-stdpp" { (= "dev.2017-09-18.4") | (= "dev") }
+  "coq-stdpp" { (= "dev.2017-09-20.2") | (= "dev") }
 ]
diff --git a/opam.pins b/opam.pins
index 4bddd14ce4b5f991d74c7e59519454f2e3975cf9..434e1768082f3e51969c3931fbac76433aa919fc 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 4b6af89cc9ca8cdc4cfb25a8fcb35d3c89d92bc6
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 9b0f7c75a2387e0ad9fe5d16ec1083a0ece2bea3