From 2b135d0e9ec075226f391e58f45a41bf84cd2a85 Mon Sep 17 00:00:00 2001
From: Tommaso Sciortino <sciortino@gmail.com>
Date: Mon, 7 Jul 2025 12:35:29 -0700
Subject: Remove unneeded code. (#3467)

Co-authored-by: Scott Densmore <scottdensmore@mac.com>
---
 packages/core/src/tools/tool-registry.ts | 1 -
 1 file changed, 1 deletion(-)

(limited to 'packages/core/src/tools')

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) {
-- 
cgit v1.2.3