diff --git a/pyk/src/pyk/__main__.py b/pyk/src/pyk/__main__.py index a11ce19ce69..db830d8e2e1 100644 --- 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 index 64245b527f9..d9fa61197a4 100644 --- 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