From ba83ae80d9f92cbb1cae63972eb515c713467b28 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Thu, 28 Nov 2024 19:46:47 +0100
Subject: [PATCH] format stdlib

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

diff --git a/juvix-stdlib b/juvix-stdlib
index 9534bd214d..fde9ac2353 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 9534bd214df2983f4f5918ddcff3703f63bd1de1
+Subproject commit fde9ac23534fe1c0ba3f69714233dbd1d3934a9c