diff --git a/repos/ada b/repos/ada index e8e251546..0a4c27dc1 160000 --- a/repos/ada +++ b/repos/ada @@ -1 +1 @@ -Subproject commit e8e2515465cc2d7c444498e68bdb9f1d86767f95 +Subproject commit 0a4c27dc1308a9d2742de22e5fcfc0c137b3d3f3