From ceed253eb5c3ab9d4b956086d538c4134ec78dba Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Fri, 29 Nov 2024 12:27:51 +0100
Subject: [PATCH] update stdlib

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

diff --git a/juvix-stdlib b/juvix-stdlib
index 825899d931..0c456725a2 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 825899d9314c6ff05da207bb82689bdb40d7e782
+Subproject commit 0c456725a23648606f97aebf8f74a9e2a73e90b6