diff --git a/repos/ada b/repos/ada index 364d3f4aa..b23672d31 160000 --- a/repos/ada +++ b/repos/ada @@ -1 +1 @@ -Subproject commit 364d3f4aa8b382113bdd5d3ca6d82dc9c74ac738 +Subproject commit b23672d313b4c994ab96fd54f1b7ff15eac68a55