From 7845a05cf1094f24a5c4a51c32dd84bf4ff31a54 Mon Sep 17 00:00:00 2001
From: Mac Malone <tydeu@hatpress.net>
Date: Wed, 25 Sep 2024 01:42:52 -0400
Subject: [PATCH] chore: update src/lake/lakefie.toml (#5462)

Update the Lake-specific package configuration with the proper root for
the executable (after #5143).
---
 src/lake/lakefile.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lake/lakefile.toml b/src/lake/lakefile.toml
index 2aeae1571a32..2be847e72568 100644
--- a/src/lake/lakefile.toml
+++ b/src/lake/lakefile.toml
@@ -6,5 +6,5 @@ name = "Lake"
 
 [[lean_exe]]
 name = "lake"
-root = "Lake.Main"
+root = "LakeMain"
 supportInterpreter = true