From 0d83728d245f65d80f90986caa0c9cec8556d3aa Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Fri, 20 Dec 2024 13:55:15 +0000
Subject: [PATCH] Update stdlib reference to main

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

diff --git a/juvix-stdlib b/juvix-stdlib
index ff6d964320..01ff19f113 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit ff6d964320d24e3e8010733afcd886a62a56dd70
+Subproject commit 01ff19f1135048be3402e094f2fc89406a44a995