diff --git a/external/stdlib b/external/stdlib
index adaa6b0..2310125 160000
--- a/external/stdlib
+++ b/external/stdlib
@@ -1 +1 @@
-Subproject commit adaa6b0ccd943dfc2c0fcb74721cca47cfab2673
+Subproject commit 23101250f40d1cd9f9f0b107d65cc534fadcfc6a