Forgotten toolchain update

avigad · Oct 3, 2023 · deb72e6 · deb72e6
1 parent e4a956a
commit deb72e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-08-23
+leanprover/lean4:v4.2.0-rc1