diff --git a/transforms/code/code_profiler/python/src/code_profiler_transform.py b/transforms/code/code_profiler/python/src/code_profiler_transform.py index ba0fb2c80..d42847a1d 100644 --- 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',