refactor: move Main to top level

leanprover · Apr 14, 2022 · 1830775 · 1830775
1 parent ad9f1b2
commit 1830775
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 2 deletions.
diff --git a/LeanInk.lean b/LeanInk.lean
@@ -1,6 +1,5 @@
 import LeanInk.CLI
 import LeanInk.Analysis
-import LeanInk.Main
 import LeanInk.Annotation
 import LeanInk.Configuration
 import LeanInk.FileHelper

diff --git a/LeanInk/Main.lean → Main.lean b/LeanInk/Main.lean → Main.lean
diff --git a/lakefile.lean b/lakefile.lean
@@ -2,7 +2,6 @@ import Lake
 open System Lake DSL
 
 package leanInk where
-  binRoot := `LeanInk.Main
   moreLinkArgs :=
     if Platform.isWindows then
       #[]