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"