diff --git a/juvix-stdlib b/juvix-stdlib
index 8bc67b8748..0080b1183a 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 8bc67b874860a26cba02d853b879e9c0a347efe2
+Subproject commit 0080b1183ab55e5180e69bfc3987e4cd6edbc230