From 2e021cc13ccaf2b8d6c188b87842e7f06297b4c8 Mon Sep 17 00:00:00 2001
From: Henrik <hargonix@gmail.com>
Date: Sun, 4 Jun 2023 02:47:53 +0200
Subject: [PATCH] chore: update toolchain

---
 lake-manifest.json | 2 +-
 lean-toolchain     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 997ae5b..887384d 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -10,7 +10,7 @@
   {"git":
    {"url": "https://github.com/leanprover/lake",
     "subDir?": null,
-    "rev": "257fc59a6464f5732a4f49e7dda0fc37475819fb",
+    "rev": "0d4da61cbfe65f19ac7070c2c9f62f36db529c4c",
     "name": "lake",
     "inputRev?": "master"}},
   {"git":
diff --git a/lean-toolchain b/lean-toolchain
index a7041bc..02773ff 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-05-06
+leanprover/lean4:nightly-2023-05-31