Minor code quality fix

runtimeverification · Jul 7, 2023 · 656c91d · 656c91d
1 parent 60e6c77
commit 656c91d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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