Skip to content

Commit

Permalink
Fix type annotations for older Python
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippWendler committed Jan 17, 2024
1 parent a8736df commit 0d375ab
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions benchexec/runexecutor.py
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@
import threading
import time
import tempfile
from typing import cast, Any, Optional
from typing import cast, Any, Dict, Optional

from benchexec import __version__
from benchexec import baseexecutor
Expand Down Expand Up @@ -621,7 +621,7 @@ def execute_run(
error_filename=None,
write_header=True,
**kwargs,
) -> dict[str, Any]: # pytype: disable=signature-mismatch
) -> Dict[str, Any]: # pytype: disable=signature-mismatch
"""
This function executes a given command with resource limits,
and writes the output to a file.
Expand Down

0 comments on commit 0d375ab

Please sign in to comment.