Merge pull request #865 from pankajskku/dev

Bug fix for Agda language in code profiler transform
IBM · Dec 11, 2024 · 376ecdc · 376ecdc
2 parents e9cee60 + 6e9f981
commit 376ecdc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/transforms/code/code_profiler/python/src/code_profiler_transform.py b/transforms/code/code_profiler/python/src/code_profiler_transform.py
@@ -140,7 +140,7 @@ def ensure_tree_sitter_bindings():
             "TypeScript": TYPESCRIPT_LANGUAGE
         }
         self.uast_language_map = {
-            "Agda": AGDA_LANGUAGE,
+            "Agda": 'agda',
             "C": 'c',
             "C#": 'c_sharp',
             "C++": 'cpp',