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]