(Это не ответ, просто наблюдение: -)
По сообщению AdaCore Developer Center , публикующему , «теперь предлагается автоматическое исправление для сообщений, таких как« предлагаемая замена », автоматически применяя замену, предложенную компилятором». Это уведомление было опубликовано 24 февраля 2009 года.
Если вы не используете GNAT Pro, я предполагаю, что вы используете GNAT GPL 2009, который был выпущен в конце мая 2009 года. Теперь между этими датами есть два месяца, но в целом AdaCore кажется (и вполне понятно, ) обновляет свою версию Pro перед миграцией обновлений в версию GPL. Так что я догадываюсь, почему вы не видите эту опцию в GPS.
Итак ... вы можете перейти на GNAT Pro, подождать GNAT GPL 2010 (я еще ничего об этом не слышал, но хотелось бы думать, что он выйдет через пару месяцев), подождать кто-то еще здесь, у которого есть фактический ответ через сценарий или что-то еще, или кто-то из ваших стажеров или миньонов делает щелчок - если вы не миньон, в этом случае вы SOL.