description

microsoft · Oct 2, 2024 · 8c56c63 · 8c56c63
1 parent a6cf05d
commit 8c56c63
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/tla/tlc.py b/tla/tlc.py
@@ -25,15 +25,14 @@
 DEFAULT_CLASSPATH_ARGS = ["-cp", "tla2tools.jar:CommunityModules-deps.jar"]
 
 USAGE = """
-To pass arguments directly to TLC that the wrapper does not support,
-pass the -n flag, and evaluate the output beforehand, e.g. `./tlc.py -n mc Spec.tla` -debugger
+To forward arguments directly to TLC that the wrapper does not support,
+run with the -n flag, and evaluate the output beforehand, e.g. `./tlc.py -n mc Spec.tla` -debugger
 """
 
 
 def cli():
     parser = argparse.ArgumentParser(
-        prog="TLC model checker wrapper for the CCF project",
-        usage=USAGE
+        description="TLC model checker wrapper for the CCF project", usage=USAGE
     )
 
     # Common options for all commands