From 7258e66818fde7a283c3b1cd59c2c0e1ab549c60 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Wed, 14 Aug 2024 16:58:08 +0100
Subject: [PATCH] Update stdlib submodule to point to stdlib main (#2957)

This PR updates the stdlib submodule to point to juvix stdlib main.
---
 juvix-stdlib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/juvix-stdlib b/juvix-stdlib
index a2d32064f7..17a82dd466 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit a2d32064f76606497a986e5bba2316305d2b322d
+Subproject commit 17a82dd466010b51924677b16a3f09a6c4c86a80