tiennm99/serena
1
0 Fork 0
mirror of https://github.com/tiennm99/serena.git synced 2026-10-17 04:15:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix duplicate exclusion causing an exception; Fixes #636

Browse Source
This commit is contained in:
Dominik Jain authored and Dominik Jain committed 2025-09-23 10:47:02 +02:00
1 parent 2ad1b7b31f
commit 48d23470b1
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
src/serena/config/serena_config.py
+1 -1
View File
@@ -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: