diff --git a/juvix-stdlib b/juvix-stdlib
index 61bc0778e5..16211500dc 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 61bc0778e53f4e6e13d929072179a855ea9ad9d2
+Subproject commit 16211500dc59a944f851fbaeeef703fdd09163fa