pyupgrade

runtimeverification · May 7, 2024 · 02ed510 · 02ed510
1 parent b55d052
commit 02ed510
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/pyk/src/pyk/__main__.py b/pyk/src/pyk/__main__.py
@@ -55,8 +55,8 @@
 from .utils import check_dir_path, check_file_path, ensure_dir_path, exit_with_process_error
 
 if TYPE_CHECKING:
-    from collections.abc import Iterator
-    from typing import IO, Any, Final, Iterable
+    from collections.abc import Iterable, Iterator
+    from typing import IO, Any, Final
 
 
 _LOGGER: Final = logging.getLogger(__name__)

diff --git a/pyk/src/pyk/cli/cli.py b/pyk/src/pyk/cli/cli.py
@@ -6,7 +6,10 @@
 from pathlib import Path
 
 #  from enum import Enum
-from typing import Any, Callable, Final, Generic, Iterable, TypeVar
+from typing import TYPE_CHECKING, Any, Final, Generic, TypeVar
+
+if TYPE_CHECKING:
+    from collections.abc import Callable, Iterable
 
 import tomli