Fix warnings from ruff

sosy-lab · Oct 24, 2024 · 4f18b79 · 4f18b79
1 parent 8290915
commit 4f18b79
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/benchexec/tools/cpachecker.py b/benchexec/tools/cpachecker.py
@@ -194,8 +194,8 @@ def option_present(option):
                 options += [f"{prefix}witness", possible_witness_files[0]]
             else:
                 raise benchexec.tools.template.UnsupportedFeatureException(
-                    f"You are passing a witness as both an option and through the task definition. "
-                    f"Please remove one of them."
+                    "You are passing a witness as both an option and through the task definition. "
+                    "Please remove one of them."
                 )
 
         return options