From c6327e66ca062aa6d3acda54f4eccb1b43a56276 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Fri, 5 Aug 2022 17:38:27 -0400
Subject: [PATCH] chore: bump Lake version

---
 Lake/Version.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Lake/Version.lean b/Lake/Version.lean
index 5bc0e27b36..c078b0d6dc 100644
--- 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