diff --git a/juvix-stdlib b/juvix-stdlib
index a1a019b498..e4d03f4b63 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit a1a019b498b611bdcb592da882b88b4f8f3cf676
+Subproject commit e4d03f4b63bba2eb5dc2d2ef8ab30c001ba37f34