Merge remote-tracking branch 'origin/master'

runtimeverification · May 4, 2023 · bf964c5 · bf964c5
2 parents 401fd26 + 3ad918c
commit bf964c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kimp/src/kimp/__main__.py b/kimp/src/kimp/__main__.py
@@ -386,7 +386,7 @@ def create_argument_parser() -> ArgumentParser:
     )
 
     # Prove
-    command_parser.add_parser(
+    _ = command_parser.add_parser(
         'prove', help='Prove a K claim', parents=[shared_args, spec_file_shared_args, claim_shared_args, explore_args]
     )