From cb87803274405db79ec578fc07c4730c093efb90 Mon Sep 17 00:00:00 2001
From: Scott Morrison <scott.morrison@gmail.com>
Date: Fri, 3 Nov 2023 22:13:12 +1100
Subject: [PATCH] chore: bump Std dependency (#84)

---
 Aesop/Util/UnorderedArraySet.lean | 2 +-
 lake-manifest.json                | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Aesop/Util/UnorderedArraySet.lean b/Aesop/Util/UnorderedArraySet.lean
index 28391e0c..3cae9b23 100644
--- a/Aesop/Util/UnorderedArraySet.lean
+++ b/Aesop/Util/UnorderedArraySet.lean
@@ -3,7 +3,7 @@ Copyright (c) 2021 Jannis Limperg. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Jannis Limperg
 -/
-
+import Std.Data.Array.Basic
 import Std.Data.Array.Merge
 
 open Lean
diff --git a/lake-manifest.json b/lake-manifest.json
index f9c5dc92..c9eba464 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "a71c160b1934814837d37f377efaf2964e55c433",
+    "rev": "9bfbd2a12ee9cf2e159a8a6b4d1ef6c149728f66",
     "opts": {},
     "name": "std",
     "inputRev?": "main",