chore: bump Lake version

leanprover · Aug 5, 2022 · 4fe15f6 · 4fe15f6
1 parent 15a6401
commit 4fe15f6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Lake/Version.lean b/Lake/Version.lean
@@ -6,8 +6,8 @@ Authors: Mac Malone
 
 namespace Lake
 
-def version.major := 3
-def version.minor := 3
+def version.major := 4
+def version.minor := 0
 def version.patch := 0
 
 def version.isPrerelease := true