diff --git a/juvix-stdlib b/juvix-stdlib
index ff6d964320..01ff19f113 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit ff6d964320d24e3e8010733afcd886a62a56dd70
+Subproject commit 01ff19f1135048be3402e094f2fc89406a44a995