diff --git a/benchexec/tools/ultimate.py b/benchexec/tools/ultimate.py
index c78d8e908..f0f0f336d 100644
--- 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)} "