From 48d23470b185f9a92139c678affd466eaa81c120 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Tue, 23 Sep 2025 10:46:57 +0200 Subject: [PATCH] Fix duplicate exclusion causing an exception; Fixes #636 --- src/serena/config/serena_config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/serena/config/serena_config.py b/src/serena/config/serena_config.py index a0b57983..00bbc901 100644 --- a/src/serena/config/serena_config.py +++ b/src/serena/config/serena_config.py @@ -99,7 +99,7 @@ class ToolSet: for excluded_tool in definition.excluded_tools: if not registry.is_valid_tool_name(excluded_tool): raise ValueError(f"Invalid tool name '{excluded_tool}' provided for exclusion") - if excluded_tool in self._tool_names: + if excluded_tool in tool_names: tool_names.remove(excluded_tool) excluded_tools.append(excluded_tool) if included_tools: