Remove unused imports

runtimeverification · Oct 11, 2024 · 5f42e64 · 5f42e64
1 parent 0a5dc15
commit 5f42e64
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/supevervisor.ts b/src/supevervisor.ts
@@ -1,9 +1,6 @@
 import * as vscode from 'vscode';
 import {getConfigValue} from './utils';
 
-
-import { SessionOptions } from 'express-session';
-
 export class Supervisor {
   private _simbolik: vscode.TaskExecution | undefined;
   private _anvil: vscode.TaskExecution | undefined;