Fixed deprecated API call in python scripts

Signed-off-by: Andrew Helwer <[email protected]>

Author: ahelwer

.github/scripts/check_manifest_features.py

@@ -238,8 +238,7 @@ def check_features(parser, queries, manifest, examples_root):
     examples_root = dirname(manifest_path)
 
     TLAPLUS_LANGUAGE = Language(tree_sitter_tlaplus.language())
-    parser = Parser()
-    parser.set_language(TLAPLUS_LANGUAGE)
+    parser = Parser(TLAPLUS_LANGUAGE)
     queries = build_queries(TLAPLUS_LANGUAGE)
 
     if check_features(parser, queries, manifest, examples_root):

.github/scripts/generate_manifest.py

@@ -175,8 +175,7 @@ def integrate_old_manifest_into_new(old_manifest, new_manifest):
     ignored_dirs = tla_utils.get_ignored_dirs(ci_ignore_path)
 
     TLAPLUS_LANGUAGE = Language(tree_sitter_tlaplus.language())
-    parser = Parser()
-    parser.set_language(TLAPLUS_LANGUAGE)
+    parser = Parser(TLAPLUS_LANGUAGE)
     queries = build_queries(TLAPLUS_LANGUAGE)
 
     old_manifest = tla_utils.load_json(manifest_path)

.github/scripts/unicode_number_set_shim.py

@@ -122,8 +122,7 @@ def write_module(examples_root, module_path, module_bytes):
     only_modules = args.only
 
     TLAPLUS_LANGUAGE = Language(tree_sitter_tlaplus.language())
-    parser = Parser()
-    parser.set_language(TLAPLUS_LANGUAGE)
+    parser = Parser(TLAPLUS_LANGUAGE)
     imports_query = build_imports_query(TLAPLUS_LANGUAGE)
 
     modules = [