typo

leanprover-community · Aug 7, 2024 · 722b685 · 722b685
1 parent 9fc834c
commit 722b685
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ImportGraph/Imports.lean b/ImportGraph/Imports.lean
@@ -205,7 +205,7 @@ def Lean.Environment.minimalRequiredModules (env : Environment) : Array Name :=
   let redundant := findRedundantImports env required
   required.filter fun n => ¬ redundant.contains n
 
-/-- Lexikographic order of Names for sorting imports -/
+/-- Lexicographic order of Names for sorting imports -/
 def sortImportsLt : Name → Name → Bool
   | a, b => a.toString < b.toString