From 378646c65e91b09a7e6c46bdeb970dbe712e492f Mon Sep 17 00:00:00 2001 From: Kirigaya <1193466151@qq.com> Date: Mon, 17 Feb 2025 20:01:57 +0800 Subject: [PATCH] update --- src/function/lsp/linter/manager.ts | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/function/lsp/linter/manager.ts b/src/function/lsp/linter/manager.ts index 78383dd..e320751 100644 --- a/src/function/lsp/linter/manager.ts +++ b/src/function/lsp/linter/manager.ts @@ -271,8 +271,6 @@ export async function publishDiagnostics( path: string ) { // 找到所有的库前缀,进行诊断(用于 verilator) - // const searchPaths = getLibrarySearchPaths(path); - await client.sendRequest("workspace/executeCommand", { command: 'publish-diagnostics', arguments: [path]