diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-01-03 12:07:19 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-01-03 13:48:29 +0100 |
commit | 68646f2b0be486e1fd119b9dd6325122ad374d21 (patch) | |
tree | 2238d09fb0d2db72b0be2b7a77d851db9011184c /generate_membench.py | |
parent | f2d8ea38eef4e9d382bf14831c05c06cde478807 (diff) |
Replace type comment with ":" annotation
Diffstat (limited to 'generate_membench.py')
-rwxr-xr-x | generate_membench.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generate_membench.py b/generate_membench.py index d0817dfc..7b88e531 100755 --- a/generate_membench.py +++ b/generate_membench.py @@ -730,7 +730,7 @@ def _block(lines: Optional[str], level: int = 2) -> str: def _links(links: List[str]) -> str: - text = [] # type: List[str] + text: List[str] = [] for link in links: if "group" in link: break |