diff --git a/external/stdpp b/external/stdpp
index 9e1cd4919..9c125edf8 160000
--- a/external/stdpp
+++ b/external/stdpp
@@ -1 +1 @@
-Subproject commit 9e1cd49190c6e57e8c4d49ab81a89f8958d401bc
+Subproject commit 9c125edf80673a55e559d9665e1205eb1a778266