From 195a7c9892e0084d725ecf963fdb9be835c1c54a Mon Sep 17 00:00:00 2001 From: "Ralf W. Grosse-Kunstleve" Date: Thu, 16 Jan 2025 11:29:59 -0800 Subject: [PATCH] Resolve mypy error after git merge master: ``` mypy.....................................................................Failed - hook id: mypy - exit code: 1 ubench/holder_comparison.py:96: error: Unused "type: ignore" comment [unused-ignore] ubench/holder_comparison.py:97: error: Unused "type: ignore" comment [unused-ignore] Found 2 errors in 1 file (checked 12 source files) ``` --- ubench/holder_comparison.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ubench/holder_comparison.py b/ubench/holder_comparison.py index dff645842..d18a12302 100644 --- a/ubench/holder_comparison.py +++ b/ubench/holder_comparison.py @@ -93,8 +93,8 @@ def run(args: List[str]) -> None: continue if selected_holder_type != "all" and nb_label != selected_holder_type: continue - nb1 = nb_type(data_size) # type: ignore[misc] - nb2 = nb_type(data_size) # type: ignore[misc] + nb1 = nb_type(data_size) + nb2 = nb_type(data_size) def many_sum(call_repetitions: int) -> float: assert int(round(nb1.sum())) == data_size