From 32f7bd25002fcd16b3002db852a72c9e0cfad84d Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Fri, 19 Jul 2024 10:58:54 +0100
Subject: [PATCH] Update juvix-stdlib to point to main ref of the juvix-stdlib
 repo (#2911)

This PR updates the juvix-stdlib submodule to the main ref of the
juvix-stdlib repo.
---
 juvix-stdlib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/juvix-stdlib b/juvix-stdlib
index 61bc0778e5..16211500dc 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 61bc0778e53f4e6e13d929072179a855ea9ad9d2
+Subproject commit 16211500dc59a944f851fbaeeef703fdd09163fa