rename flag

Signed-off-by: Jade Abraham <jade.abraham@hpe.com>
chapel-lang · Jun 11, 2024 · 20b9b22 · 20b9b22
1 parent 74ce515
commit 20b9b22
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/chpl-language-server/src/chpl-language-server.py b/tools/chpl-language-server/src/chpl-language-server.py
@@ -988,7 +988,7 @@ def add_bool_flag(name: str, dest: str, default: bool):
         self.parser.add_argument("--end-markers", default="none")
         self.parser.add_argument("--end-marker-threshold", type=int, default=10)
 
-        add_bool_flag("lint", "do_linting", False)
+        add_bool_flag("chplcheck", "do_linting", False)
         if chplcheck_config:
             chplcheck_config.Config.add_arguments(self.parser, "chplcheck-")