Run pyupgrade

runtimeverification · Nov 21, 2024 · 48b7d60 · 48b7d60
1 parent c9124ab
commit 48b7d60
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/pyk/src/pyk/rpc/rpc.py b/pyk/src/pyk/rpc/rpc.py
@@ -5,7 +5,8 @@
 from dataclasses import dataclass
 from functools import partial
 from http.server import BaseHTTPRequestHandler, HTTPServer
-from typing import TYPE_CHECKING, Any, Final, Iterable
+from typing import TYPE_CHECKING, Any, Final
+from collections.abc import Iterable
 
 from typing_extensions import Protocol