From 444a1c9178a6a4406bf15c5efcce4f3f15b22af6 Mon Sep 17 00:00:00 2001
From: Stevengre <zhaojianhong96@gmail.com>
Date: Tue, 26 Nov 2024 22:48:13 +0800
Subject: [PATCH] make format

---
 pyk/src/pyk/kcfg/kcfg.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)