diff --git a/juvix-stdlib b/juvix-stdlib
index 89a5960fb8..216cb609cb 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 89a5960fb8a29291e9271986b98ca7b1edf4031b
+Subproject commit 216cb609cbe5aec9badea858f151a5ea400f2e66