diff --git a/juvix-stdlib b/juvix-stdlib
index 9f3226f461..deaafbb3c0 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 9f3226f4611a2abe028922ca8504f609288ee6e3
+Subproject commit deaafbb3c097fa2d84143018f6ae7266a2a92e14