Merge pull request #169 from Eutropios/master

netromdk · Apr 2, 2023 · fee7ede · fee7ede
2 parents 9a826b3 + 04d2c3c
commit fee7ede
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vermin/arguments.py b/vermin/arguments.py
@@ -83,7 +83,7 @@ def print_usage(full=False):
       print("  --no-dump (default)\n"
             "        Don't dump AST node visits.")
       print("\n  --help | -h\n"
-            "        Shows this information and exists.")
+            "        Shows this information and exits.")
       print("\n  --version | -V\n"
             "        Shows version number and exits.")
       print("\n  --config-file <path> | -c <path>\n"