Skip to content

Commit

Permalink
Bug fix for Agda language in code profiler transform
Browse files Browse the repository at this point in the history
The uast_language_map correction

Signed-off-by: Pankaj Thorat <[email protected]>
  • Loading branch information
pankajskku committed Dec 9, 2024
1 parent 97aed99 commit 6e9f981
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -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',
Expand Down

0 comments on commit 6e9f981

Please sign in to comment.