kontrol/cli: option --foundry-project-root => --root, to mimic direct…

… forge calls better
runtimeverification · Sep 25, 2023 · 0b5fdbd · 0b5fdbd
1 parent afa4941
commit 0b5fdbd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/kontrol/cli.py b/src/kontrol/cli.py
@@ -19,7 +19,7 @@ class KontrolCLIArgs(KEVMCLIArgs):
     def foundry_args(self) -> ArgumentParser:
         args = ArgumentParser(add_help=False)
         args.add_argument(
-            '--foundry-project-root',
+            '--root',
             dest='foundry_root',
             type=dir_path,
             default=Path('.'),