From 15ec17dd6d8c1f4f421df51d520a1e26f48cc05c Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Thu, 14 Nov 2024 15:29:57 +0100
Subject: [PATCH] update stdlib

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

diff --git a/juvix-stdlib b/juvix-stdlib
index 0080b1183a..a1a019b498 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 0080b1183ab55e5180e69bfc3987e4cd6edbc230
+Subproject commit a1a019b498b611bdcb592da882b88b4f8f3cf676