make format

runtimeverification · Nov 26, 2024 · 444a1c9 · 444a1c9
1 parent c0dcd30
commit 444a1c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyk/src/pyk/kcfg/kcfg.py b/pyk/src/pyk/kcfg/kcfg.py
@@ -761,7 +761,7 @@ def create_node(self, cterm: CTerm) -> KCFG.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)