From 5ea07ae20edc193f4de57cd3f35c5f53a2fa8495 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Wed, 8 Jun 2022 17:37:05 -0400
Subject: [PATCH] refactor: preserve case in exe root default

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

diff --git a/Lake/Config/Targets.lean b/Lake/Config/Targets.lean
index 8534a77d39..30a06b2db4 100644
--- a/Lake/Config/Targets.lean
+++ b/Lake/Config/Targets.lean
@@ -108,9 +108,9 @@ structure LeanExeConfig where
   The root is built by recursively building its
   local imports (i.e., fellow modules of the workspace).
 
-  Defaults to the upper camel case name of the target.
+  Defaults to the name of the target.
   -/
-  root : Name := toUpperCamelCase name
+  root : Name := name
 
   /--
   The name of the binary executable.