From 4db66966720541c2286dc7451be3c8ff9f273bb9 Mon Sep 17 00:00:00 2001 From: Emmanuel Briot Date: Tue, 14 Feb 2023 11:26:04 +0100 Subject: ada(highlights,folds,locals): update to parser changes --- lockfile.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lockfile.json') diff --git a/lockfile.json b/lockfile.json index 46754d99c..14a046c8f 100644 --- a/lockfile.json +++ b/lockfile.json @@ -1,6 +1,6 @@ { "ada": { - "revision": "e9e2ec9d3b6302e9b455901bec00036e29d1c121" + "revision": "42cc2eb141529b03a91c18ec8646a0a58fb111ba" }, "agda": { "revision": "80ea622cf952a0059e168e5c92a798b2f1925652" -- cgit v1.2.3-70-g09d2