remove edges before nodes

runtimeverification · Nov 26, 2024 · c0dcd30 · c0dcd30
1 parent 5c76cfc
commit c0dcd30
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/pyk/src/pyk/kcfg/kcfg.py b/pyk/src/pyk/kcfg/kcfg.py
@@ -760,11 +760,12 @@ def create_node(self, cterm: CTerm) -> KCFG.Node:
         return node
 
     def remove_node(self, node_id: NodeIdLike) -> None:
+        self.remove_edges_around(node_id)
+
         node_id = self._resolve(node_id)
         self._nodes.pop(node_id)
         self._deleted_nodes.add(node_id)
         self._created_nodes.discard(node_id)
-        self.remove_edges_around(node_id)
 
     def remove_edges_around(self, node_id: NodeIdLike) -> None:
         node_id = self._resolve(node_id)