chore: Nix: delete obsolete workaround

2021-01-21 15:01:40 +01:00 · 2021-01-21 15:01:40 +01:00 · c1a07e5687
commit c1a07e5687
parent 2a45525b24
1 changed files with 1 additions and 2 deletions
--- a/src/Lean/Server/Watchdog.lean
+++ b/src/Lean/Server/Watchdog.lean
@ -213,8 +213,7 @@ section ServerM
    let workerProc ← Process.spawn {
      toStdioConfig := workerCfg
      cmd           := st.workerPath
-      -- append file and imports for Nix support; ignored otherwise
-      args          := #["--worker"] ++ (Lean.Elab.headerToImports headerAst).toArray.map (toString ·.module) ++ st.args.toArray
+      args          := #["--worker"] ++ st.args.toArray
    }
    let pendingRequestsRef ← IO.mkRef (RBMap.empty : PendingRequestMap)
    -- The task will never access itself, so this is fine