Merge pull request #13 from digama0/nightly

chore: bump lean 10-20
leanprover · Oct 20, 2022 · b88b0ab · b88b0ab
2 parents 80b783a + 2b84cd4
commit b88b0ab
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -3,5 +3,5 @@ open Lake DSL
 
 package Cli
 
-@[defaultTarget]
+@[default_target]
 lean_lib Cli
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2022-09-28
+leanprover/lean4:nightly-2022-10-20
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:nightly-2022-09-28
		leanprover/lean4:nightly-2022-10-20