Remove unneeded code. (#3467)

Co-authored-by: Scott Densmore <scottdensmore@mac.com>
This commit is contained in:
Tommaso Sciortino
2025-07-07 12:35:29 -07:00
committed by GitHub
parent 7cc84cd6af
commit 2b135d0e9e
2 changed files with 0 additions and 2 deletions

View File

@@ -125,7 +125,6 @@ Signal: Signal number or \`(none)\` if no signal was received.
export class ToolRegistry {
private tools: Map<string, Tool> = new Map();
private discovery: Promise<void> | null = null;
private config: Config;
constructor(config: Config) {