ada(highlights,folds,locals): update to parser changes

This commit is contained in:
Emmanuel Briot 2023-02-14 11:26:04 +01:00 committed by Christian Clason
parent ad9ae9e7de
commit 4db6696672
4 changed files with 7 additions and 5 deletions

View file

@ -1,6 +1,6 @@
{
"ada": {
"revision": "e9e2ec9d3b6302e9b455901bec00036e29d1c121"
"revision": "42cc2eb141529b03a91c18ec8646a0a58fb111ba"
},
"agda": {
"revision": "80ea622cf952a0059e168e5c92a798b2f1925652"