diff --git a/kevm-pyk/src/kevm_pyk/foundry.py b/kevm-pyk/src/kevm_pyk/foundry.py index ce1be912ad..87eb2a4083 100644 --- a/kevm-pyk/src/kevm_pyk/foundry.py +++ b/kevm-pyk/src/kevm_pyk/foundry.py @@ -268,7 +268,6 @@ def help_info() -> list[str]: res_lines.append( 'Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/' ) - return res_lines