diff --git a/ImportGraph.lean b/ImportGraph.lean
index a58f13b..183f1ac 100644
--- a/ImportGraph.lean
+++ b/ImportGraph.lean
@@ -3,4 +3,3 @@ import ImportGraph.Imports
 import ImportGraph.CurrentModule
 import ImportGraph.Lean.Name
 import ImportGraph.RequiredModules
-import ImportGraph.UnusedTransitiveImports