From 1a8b6324631be26a197404601a69e4bf61be3870 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Wed, 6 Nov 2024 15:52:58 +0000
Subject: [PATCH] Update juvix-stdlib ref to latest main (#3148)

This PR updates the juvix-stdlib submodule ref to the latest main
branch.

It incorporates changes from:

* https://github.com/anoma/juvix-stdlib/pull/134
---
 juvix-stdlib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/juvix-stdlib b/juvix-stdlib
index 8bc67b8748..0080b1183a 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 8bc67b874860a26cba02d853b879e9c0a347efe2
+Subproject commit 0080b1183ab55e5180e69bfc3987e4cd6edbc230