make format

runtimeverification · Jan 23, 2025 · 8ececbf · 8ececbf
1 parent 0c7608d
commit 8ececbf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py
@@ -32,7 +32,7 @@
 from pyk.proof.tui import APRProofViewer
 from pyk.utils import FrozenDict, hash_str, single
 
-from kevm_pyk.summarizer import batch_summarize, summarize
+from kevm_pyk.summarizer import batch_summarize
 
 from . import VERSION, config
 from .cli import _create_argument_parser, generate_options, get_argument_type_setter, get_option_string_destination