From 768f45d5d04505307534ed0e54d109e27ea34e48 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Tue, 19 Nov 2024 18:44:50 +0100
Subject: [PATCH] stdlib

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

diff --git a/juvix-stdlib b/juvix-stdlib
index e4d03f4b63..f0a1e1ed77 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit e4d03f4b63bba2eb5dc2d2ef8ab30c001ba37f34
+Subproject commit f0a1e1ed77e9e94467434b85736839e110d021d5