diff --git a/juvix-stdlib b/juvix-stdlib
index 6010ad32f..a38bcd2d2 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 6010ad32f80498432b9a14752a0b7b50e9b36763
+Subproject commit a38bcd2d2935b379d606591ac78eaa2cd0cf24b7