diff --git a/lakefile.lean b/lakefile.lean
index e73161f..2e03811 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -1,5 +1,4 @@
 import Lake
-import Lake.CLI.Main
 open System Lake DSL
 
 package «doc-gen4»
@@ -114,4 +113,4 @@ library_facet docs (lib) : FilePath := do
         let traces ← staticFiles.mapM computeTrace
         let indexTrace := mixTraceArray traces
 
-        return (dataFile, trace.mix indexTrace)
\ No newline at end of file
+        return (dataFile, trace.mix indexTrace)