From 6d1edc3475162865832eace88b82e81ba3a9aa3e Mon Sep 17 00:00:00 2001
From: Matthew Pickering <matthewtpickering@gmail.com>
Date: Wed, 24 Mar 2021 09:14:37 +0000
Subject: [PATCH] Properly pass argFiles into defaultMain

---
 src/Ide/Main.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Ide/Main.hs b/src/Ide/Main.hs
index b0396159f1..3d496a1354 100644
--- a/src/Ide/Main.hs
+++ b/src/Ide/Main.hs
@@ -102,7 +102,7 @@ runLspMode lspArgs@LspArguments{..} idePlugins = do
         hPutStrLn stderr "If you are seeing this in a terminal, you probably should have run ghcide WITHOUT the --lsp option!"
 
     Main.defaultMain def
-      { Main.argFiles = if argLSP then Nothing else Just []
+      { Main.argFiles = if argLSP then Nothing else Just argFiles
       , Main.argsHlsPlugins = idePlugins
       , Main.argsLogger = pure hlsLogger
       , Main.argsIdeOptions = \_config sessionLoader ->