diff --git a/lean-toolchain b/lean-toolchain index 518ef00b94dbe..16b2110185a1b 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2024-04-08 +leanprover/lean4:nightly-2024-04-09