From b7870bb710134b79ec381d029a16333059bf3ef0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Czajka?=
 <62751+lukaszcz@users.noreply.github.com>
Date: Thu, 16 Jan 2025 21:56:11 +0100
Subject: [PATCH] Update stdlib reference to point to `main` (#3281)

---
 juvix-stdlib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/juvix-stdlib b/juvix-stdlib
index 14b562ea3d..c5d4fcd87b 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 14b562ea3d9dfc0aeaf1d27fd060dff725b8f156
+Subproject commit c5d4fcd87b26608f628e6b116587f1ec227e1bf0