diff --git a/juvix-stdlib b/juvix-stdlib
index 7439f2f1c5..303e4c1391 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 7439f2f1c558cda946111befa5ffac91bf948b6d
+Subproject commit 303e4c139155d8533aed54d0e67e9542b543f10d