1 files changed, 1 insertions, 1 deletions

diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts
index 0e705bc84..255d57f5e 100644
--- a/editors/code/src/ctx.ts
+++ b/editors/code/src/ctx.ts
@@ -19,7 +19,7 @@ export class Ctx {
         config: Config,
         extCtx: vscode.ExtensionContext,
         serverPath: string,
-        workspaceFolder: vscode.WorkspaceFolder | null,
+        workspaceFolder: vscode.WorkspaceFolder,
     ): Promise<Ctx> {
         const client = await createClient(config, serverPath, workspaceFolder);
         const res = new Ctx(config, extCtx, client, serverPath);