fix prove_parser help text: Test => Prove

runtimeverification · Dec 9, 2024 · e904515 · e904515
1 parent 32a7a45
commit e904515
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/komet/komet.py b/src/komet/komet.py
@@ -175,7 +175,7 @@ def _argument_parser() -> ArgumentParser:
     test_parser = command_parser.add_parser('test', help='Test the soroban contract in the current working directory')
     test_parser.add_argument('--wasm', type=FileType('r'), help='Test a specific contract wasm file instead')
 
-    prove_parser = command_parser.add_parser('prove', help='Test the soroban contract in the current working directory')
+    prove_parser = command_parser.add_parser('prove', help='Prove the soroban contract in the current working directory')
     prove_parser.add_argument(
         'prove_command',
         default='run',