max

microsoft · Oct 2, 2024 · b3e7566 · b3e7566
1 parent c1b13ba
commit b3e7566
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tla/tlc.py b/tla/tlc.py
@@ -198,8 +198,8 @@ def cli():
         )
 
     if args.cmd == "mc":
-        if args.max_term_count is not None:
-            env["TERM_COUNT"] = str(args.max_term_count)
+        if args.term_count is not None:
+            env["TERM_COUNT"] = str(args.term_count)
         if args.request_count is not None:
             env["REQUEST_COUNT"] = str(args.request_count)
         if args.raft_configs is not None: