Fix VS Code extension

AdaCore · Aug 17, 2023 · d9d50b8 · d9d50b8
1 parent e00eee9
commit d9d50b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 = {