Make format and make check

runtimeverification · Nov 21, 2024 · 70f1a68 · 70f1a68
1 parent 4b6c4fc
commit 70f1a68
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/pyk/src/pyk/rpc/rpc.py b/pyk/src/pyk/rpc/rpc.py
@@ -6,14 +6,13 @@
 from functools import partial
 from http.server import BaseHTTPRequestHandler, HTTPServer
 from typing import TYPE_CHECKING, Any, Final
-from collections.abc import Iterable
 
 from typing_extensions import Protocol
 
 from ..cli.cli import Options
 
 if TYPE_CHECKING:
-    from collections.abc import Callable
+    from collections.abc import Callable, Iterable
     from pathlib import Path