diff --git a/scripts/demo_run_tools.py b/scripts/demo_run_tools.py index 0c73fcfa..8cbaae79 100644 --- a/scripts/demo_run_tools.py +++ b/scripts/demo_run_tools.py @@ -7,9 +7,8 @@ import json from pprint import pprint from serena.agent import SerenaAgent -from serena.config.serena_config import SerenaConfig from serena.constants import REPO_ROOT -from serena.tools import FindFileTool, FindReferencingSymbolsTool, GetSymbolsOverviewTool, SearchForPatternTool, JetBrainsFindSymbolTool +from serena.tools import FindFileTool, FindReferencingSymbolsTool, GetSymbolsOverviewTool, JetBrainsFindSymbolTool, SearchForPatternTool if __name__ == "__main__": agent = SerenaAgent(project=REPO_ROOT)