From 9cf352709504a2e024fc55832be692a503bec337 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?=
 <tothtamas28@users.noreply.github.com>
Date: Thu, 5 Dec 2024 08:53:48 +0000
Subject: [PATCH] Update signature for `custom_step`

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

diff --git a/src/kimp/kimp.py b/src/kimp/kimp.py
index 9a087c6..a0fb08b 100644
--- a/src/kimp/kimp.py
+++ b/src/kimp/kimp.py
@@ -73,7 +73,7 @@ def same_loop(self, c1: CTerm, c2: CTerm) -> bool:
     def can_make_custom_step(self, c: CTerm) -> bool:
         return False
 
-    def custom_step(self, c: CTerm) -> KCFGExtendResult | None:
+    def custom_step(self, c: CTerm, cs: CTermSymbolic) -> KCFGExtendResult | None:
         return None
 
     def is_mergeable(self, c1: CTerm, c2: CTerm) -> bool: