diff --git a/stdlib b/stdlib
index 7729fe328..0aff12d6b 160000
--- a/stdlib
+++ b/stdlib
@@ -1 +1 @@
-Subproject commit 7729fe328f360067a8ac21fa5809ac0bf748198f
+Subproject commit 0aff12d6b0c5dd9421c46f07e47e29b2492f2b7c