fox program name in argument parser

runtimeverification · Jul 16, 2024 · dd0483f · dd0483f
1 parent 25b33c3
commit dd0483f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ksoroban/ksoroban.py b/src/ksoroban/ksoroban.py
@@ -72,7 +72,7 @@ def _exit_with_output(cp: CompletedProcess) -> None:
 
 
 def _argument_parser() -> ArgumentParser:
-    parser = ArgumentParser(prog='kelrond')
+    parser = ArgumentParser(prog='ksoroban')
     command_parser = parser.add_subparsers(dest='command', required=True)
 
     run_parser = command_parser.add_parser('run', help='run a concrete test')