From a7d3201d339f7fe52ab2ad02f0ec9415e464f91b Mon Sep 17 00:00:00 2001 From: Michael Panchenko Date: Thu, 17 Apr 2025 11:51:29 +0200 Subject: [PATCH] Missing annotation, minor --- src/serena/agent.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/serena/agent.py b/src/serena/agent.py index 59ea5d6..addf327 100644 --- a/src/serena/agent.py +++ b/src/serena/agent.py @@ -621,7 +621,7 @@ class ListDirTool(Tool): :return: a JSON object with the names of directories and files within the given directory """ - def is_ignored_path(abs_path: str): + def is_ignored_path(abs_path: str) -> bool: rel_path = os.path.relpath(abs_path, self.project_root) return self.language_server.is_ignored_path(rel_path, ignore_unsupported_files=False)