diff options
| author | Tommaso Sciortino <[email protected]> | 2025-07-07 12:35:29 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-07-07 19:35:29 +0000 |
| commit | 2b135d0e9ec075226f391e58f45a41bf84cd2a85 (patch) | |
| tree | 636ee5d92be18388cd2a2ae967743369e4c475ec /packages/core/src/tools/tool-registry.ts | |
| parent | 7cc84cd6af66dcf889f6354c2d074c0f51779eb8 (diff) | |
Remove unneeded code. (#3467)
Co-authored-by: Scott Densmore <[email protected]>
Diffstat (limited to 'packages/core/src/tools/tool-registry.ts')
| -rw-r--r-- | packages/core/src/tools/tool-registry.ts | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/packages/core/src/tools/tool-registry.ts b/packages/core/src/tools/tool-registry.ts index 62ae2a51..bc628f03 100644 --- a/packages/core/src/tools/tool-registry.ts +++ b/packages/core/src/tools/tool-registry.ts @@ -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) { |