Skip to content

Commit a200d2a

Browse files
committed
reformat
1 parent a31036a commit a200d2a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

kevm-pyk/src/kevm_pyk/__main__.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@
3636
if TYPE_CHECKING:
3737
from argparse import Namespace
3838
from collections.abc import Callable, Iterable, Iterator
39-
from typing import Any, Final, Tuple, TypeVar
39+
from typing import Any, Final, TypeVar
4040

4141
from pyk.kast.outer import KClaim
4242
from pyk.kcfg.kcfg import NodeIdLike

0 commit comments

Comments
 (0)