remove typehint which is incompatible with python < 3.10

sosy-lab · Dec 2, 2024 · e7c3b0a · e7c3b0a
1 parent 9b5b96f
commit e7c3b0a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/test_core_assignment_new.py b/benchexec/test_core_assignment_new.py
@@ -19,7 +19,7 @@
 
 
 def expect_assignment(
-    number_cores: int, expected_assignment: list, max_threads: int | None = None
+    number_cores: int, expected_assignment: list, max_threads=None
 ) -> callable:
     """
     Add a new test case "test_(number_cores)_cores", which checks if the results match the expected assignment