From 194247bb324ed0acecfcda1158d435060feec5d8 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Wed, 22 Sep 2021 12:19:51 -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 cb4646312a..9baa7d48d1 100644
--- a/leanpkg.toml
+++ b/leanpkg.toml
@@ -1,4 +1,4 @@
 [package]
 name = "lake"
 version = "2.1.0-pre"
-lean_version = "leanprover/lean4:nightly-2021-09-17"
+lean_version = "leanprover/lean4:nightly-2021-09-22"