Apply flake8 suggestion to make any() lazy

ultimate-pa · Nov 7, 2024 · 6b427e5 · 6b427e5
1 parent 2ca9b4a
commit 6b427e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/tools/ultimate.py b/benchexec/tools/ultimate.py
@@ -75,7 +75,7 @@ def executable(self, tool_locator):
         exe = tool_locator.find_executable("Ultimate.py")
         dir_name = Path(os.path.dirname(exe))
         logging.debug("Checking if %s contains a launcher jar", dir_name)
-        if any([(dir_name / rel_launcher).exists() for rel_launcher in _LAUNCHER_JARS]):
+        if any((dir_name / rel_launcher).exists() for rel_launcher in _LAUNCHER_JARS):
             return exe
         msg = (
             f"ERROR: Did find a Ultimate.py in {os.path.dirname(exe)} "