diff --git a/juvix-stdlib b/juvix-stdlib
index fde9ac2353..561425ecb3 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit fde9ac23534fe1c0ba3f69714233dbd1d3934a9c
+Subproject commit 561425ecb3bca7d6c8ec6b4f93932510597c4c59