From 7770d4b421b51201517b9cdff3c765ca1b92791a Mon Sep 17 00:00:00 2001
From: Mac Malone <tydeu@hatpress.net>
Date: Mon, 7 Jun 2021 02:38:23 -0400
Subject: [PATCH] Removed leftover hack for TOML

---
 Leanpkg2.lean | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Leanpkg2.lean b/Leanpkg2.lean
index 1c650d078c..d3f23cd45f 100644
--- a/Leanpkg2.lean
+++ b/Leanpkg2.lean
@@ -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