chore: update Lean version

leanprover · Jun 14, 2022 · ce2570c · ce2570c
1 parent 7d59f02
commit ce2570c
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -1,6 +1,11 @@
 import Lake
 open System Lake DSL
 
-package lake where
-  binRoot := `Lake.Main
+package lake
+
+lean_lib Lake
+
+@[defaultTarget]
+lean_exe lake where
+  root := `Lake.Main
   supportInterpreter := true
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2022-06-09
+leanprover/lean4:nightly-2022-06-14
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:nightly-2022-06-09
		leanprover/lean4:nightly-2022-06-14