diff --git a/lean-toolchain b/lean-toolchain
index d4c3ecf..f369dc3 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1,2 +1,2 @@
-leanprover/lean4:nightly-2024-07-25
+leanprover/lean4:nightly-2024-08-01