From ec169a45cd632cc239c04e7bf05ae1b6a5280236 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Czajka?=
 <62751+lukaszcz@users.noreply.github.com>
Date: Thu, 10 Oct 2024 18:23:39 +0200
Subject: [PATCH] Merge containers into standard library (#3088)

* Closes #3067
* Depends on #3087
---
 juvix-stdlib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/juvix-stdlib b/juvix-stdlib
index 6010ad32f8..a38bcd2d29 160000
--- a/juvix-stdlib
+++ b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 6010ad32f80498432b9a14752a0b7b50e9b36763
+Subproject commit a38bcd2d2935b379d606591ac78eaa2cd0cf24b7