Update test_merge_nodes.py

runtimeverification · Jul 17, 2024 · d7640cd · d7640cd
1 parent 6a2e925
commit d7640cd
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/pyk/src/tests/unit/kcfg/test_merge_nodes.py b/pyk/src/tests/unit/kcfg/test_merge_nodes.py
@@ -1,7 +1,6 @@
 from __future__ import annotations
 
 from typing import TYPE_CHECKING, Any
-from collections.abc import Iterable
 
 from pyk.cterm import CSubst
 from pyk.kast.inner import KVariable, Subst
@@ -14,6 +13,8 @@
 from ..test_kcfg import node_dicts, propagate_split_constraints, split_dicts, x_config, x_subst
 
 if TYPE_CHECKING:
+    from collections.abc import Iterable
+
     from pyk.cterm import CTerm