diff --git a/pyk/src/pyk/kcfg/kcfg.py b/pyk/src/pyk/kcfg/kcfg.py
index ca44d4782a..825dd7c328 100644
--- 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)