From d9d50b84f590a6bf80d8eb268f0f91f1849cb3a1 Mon Sep 17 00:00:00 2001
From: Tobias Reiher <reiher@adacore.com>
Date: Thu, 17 Aug 2023 17:02:59 +0200
Subject: [PATCH] Fix VS Code extension

---
 ide/vscode/src/server.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ide/vscode/src/server.ts b/ide/vscode/src/server.ts
index c49af0915..1ddfc4ae4 100644
--- a/ide/vscode/src/server.ts
+++ b/ide/vscode/src/server.ts
@@ -97,7 +97,7 @@ async function createServer(
     newEnv.LS_IMPORT_STRATEGY = settings.importStrategy;
     newEnv.LS_SHOW_NOTIFICATION = settings.showNotifications;
 
-    const args = settings.interpreter.slice(1).concat(["-m", "rflx", "ls"]);
+    const args = settings.interpreter.slice(1).concat(["-m", "rflx", "run_ls"]);
     traceInfo(`Server run command: ${[command, ...args].join(' ')}`);
 
     const serverOptions: ServerOptions = {