Fix excute call

runtimeverification · Mar 19, 2024 · f50dac4 · f50dac4
1 parent 51bfac7
commit f50dac4
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
@@ -100,7 +100,7 @@ def main() -> None:
         raise AssertionError(f'Unimplemented command: {args.command}')
 
     execute = globals()[executor_name]
-    execute(**vars(args))
+    execute(args)
 
 
 # Command implementation