max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

Removed leftover hack for TOML

Browse source
This commit is contained in:
Mac Malone 2021-06-07 02:38:23 -04:00
parent 76183aa6d1
commit 7770d4b421
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Leanpkg2.lean
View file

@ -7,7 +7,6 @@ import Leanpkg2.Cli
def main (args : List String) : IO UInt32 := do
try
Lean.initSearchPath none -- HACK
let (cmd, outerArgs, innerArgs) ← Leanpkg2.splitCmdlineArgs args
Leanpkg2.cli cmd outerArgs innerArgs
pure 0