From 05bf2198c28a40782bf615f938893c6226bdb08d Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Mon, 2 Dec 2024 19:32:28 +0100
Subject: [PATCH] update stdlib TEMPORARY

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

diff --git a/juvix-stdlib b/juvix-stdlib
index fde9ac235..25d45f739 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit fde9ac23534fe1c0ba3f69714233dbd1d3934a9c
+Subproject commit 25d45f73970b74fa63b8e98fa959271bed4cc845