From 22ee974ac875f391e10ba3ef247bee372f3b65ca Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Sun, 5 Sep 2021 20:04:44 -0400
Subject: [PATCH] chore: bump Lean version

---
 leanpkg.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/leanpkg.toml b/leanpkg.toml
index f88b0d9d73..d1f32ebe80 100644
--- a/leanpkg.toml
+++ b/leanpkg.toml
@@ -1,4 +1,4 @@
 [package]
 name = "lake"
 version = "2.0-pre"
-lean_version = "leanprover/lean4:nightly-2021-08-16"
+lean_version = "leanprover/lean4:nightly-2021-09-05"