Update ImportGraph/Cli.lean

Co-authored-by: Kim Morrison <[email protected]>
leanprover-community · Sep 2, 2024 · 581e55d · 581e55d
1 parent 8128754
commit 581e55d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ImportGraph/Cli.lean b/ImportGraph/Cli.lean
@@ -85,7 +85,7 @@ def importGraphCLI (args : Cli.Parsed) : IO UInt32 := do
     let includeStd := args.hasFlag "include-std" || includeLean
     let includeDeps := args.hasFlag "include-deps" || includeStd
 
-    -- `directDeps` are excempt from being filtered out.
+    -- `directDeps` are exempt from being filtered out.
     let directDeps := if args.hasFlag "mark-module" then
         graph.fold (fun acc n deps => if toModule.isPrefixOf n then
           -- append all dependencies of `n` which are not in the module