diff --git a/juvix-stdlib b/juvix-stdlib
index 50acdf116..89a5960fb 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 50acdf11697d014fa9f02ce801cfbc31f6900003
+Subproject commit 89a5960fb8a29291e9271986b98ca7b1edf4031b