From b9beeff3ada51444694e4afa3dda328c0962a116 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Fri, 1 Jul 2022 14:45:44 -0400
Subject: [PATCH] chore: fix wording

---
 Lake/Config/LeanExe.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Lake/Config/LeanExe.lean b/Lake/Config/LeanExe.lean
index 47961a57a3..a39c182435 100644
--- a/Lake/Config/LeanExe.lean
+++ b/Lake/Config/LeanExe.lean
@@ -54,7 +54,7 @@ namespace LeanExe
   name := WfName.ofName self.config.root
   keyName := WfName.ofName self.pkg.name |>.appendName self.config.root
 
-/- Return the the modules root if the name matches, otherwise return none. -/
+/- Return the the root module if the name matches, otherwise return none. -/
 def isRoot? (name : Name) (self : LeanExe) : Option Module :=
   if name == self.config.root then some self.root else none