Improve error message (#706)

ultimate-pa · Jan 27, 2025 · 68ac2e8 · 68ac2e8
1 parent 519c68e
commit 68ac2e8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/releaseScripts/default/adds/Ultimate.py b/releaseScripts/default/adds/Ultimate.py
@@ -597,7 +597,8 @@ def check_witness_type(witness, type):
     elif witness.endswith(".graphml"):
         valid = check_witness_type_graphml(witness, type)
     else:
-        print("Unsupported witness type", witness.rpartition(".")[2])
+        print(f'Unexpected witness file ending .{witness.rpartition(".")[2]}. '
+              'The witness has to end with .yml, .yaml, or .graphml.)
     if not valid:
         sys.exit(ExitCode.FAIL_WRONG_WITNESS_TYPE)