From c1a07e568743bb943ba5a6e17017a08d064141b9 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 21 Jan 2021 15:01:40 +0100
Subject: [PATCH] chore: Nix: delete obsolete workaround

---
 src/Lean/Server/Watchdog.lean | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/Lean/Server/Watchdog.lean b/src/Lean/Server/Watchdog.lean
index 6f6c8b3c61..ff5c13850f 100644
--- 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