From 8c857bdc21e89a21189c7b72df8eaa725029f4f9 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Thu, 29 Feb 2024 17:32:55 +0000
Subject: [PATCH] Update juvix-stdlib submodule reference to main (#2675)

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

diff --git a/juvix-stdlib b/juvix-stdlib
index 6eb7ac818f..e2efe4e6fe 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 6eb7ac818f8f2e4e28c208fa8ec32ba7411cab04
+Subproject commit e2efe4e6fe8e8bf1766050a7fa7ad8ff4e8c69fc