From 863b31334c4e3ef0390dac1c2261ad9ba7a35422 Mon Sep 17 00:00:00 2001
From: Andrei <andrei.vacaru@runtimeverification.com>
Date: Fri, 8 Sep 2023 12:42:26 +0300
Subject: [PATCH] run_kore -> run

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

diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py
index af58eae9ce..65ff89a84a 100644
--- a/kevm-pyk/src/kevm_pyk/__main__.py
+++ b/kevm-pyk/src/kevm_pyk/__main__.py
@@ -494,7 +494,7 @@ def exec_run(
         kore_pgm = kevm.kast_to_kore(kast_pgm, sort=KSort('EthereumSimulation'))
         kore_pattern = kore_pgm_to_kore(kore_pgm, SORT_ETHEREUM_SIMULATION, schedule, mode, chainid)
 
-    kevm.run_kore(
+    kevm.run(
         kore_pattern,
         depth=depth,
         term=True,