chore: update src/lake/lakefie.toml (#5462)

Update the Lake-specific package configuration with the proper root for the executable (after #5143).
leanprover · Sep 25, 2024 · 7845a05 · 7845a05
1 parent 57679ee
commit 7845a05
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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