ada: Remove duplicate comment
commitfdadfcc50ee15652a824cffe18c4fff5069b9961
authorRonan Desplanques <desplanques@adacore.com>
Mon, 13 Feb 2023 10:56:55 +0000 (13 11:56 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 23 May 2023 07:50:58 +0000 (23 09:50 +0200)
tree781f47b95977dd45bf7cb22e7077d05c682ae643
parentc565a974d0dd07738d5b88a08ecba903c54480cd
ada: Remove duplicate comment

gcc/ada/

* sem_ch7.adb: Remove duplicate comment.
gcc/ada/sem_ch7.adb