diff --git a/juvix-stdlib b/juvix-stdlib
index 0080b1183a..a1a019b498 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 0080b1183ab55e5180e69bfc3987e4cd6edbc230
+Subproject commit a1a019b498b611bdcb592da882b88b4f8f3cf676