]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Remove outdated comment
authorRonan Desplanques <desplanques@adacore.com>
Fri, 9 Jun 2023 12:31:00 +0000 (14:31 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 20 Jun 2023 11:25:28 +0000 (13:25 +0200)
commit31edd39bc418ccb6b806767ff5cbefd98fb81fb5
tree612484fd28248a30c1676b4fe38d28ea15e50383
parent0607e93490058ec31b6ab57078c54771f139b870
ada: Remove outdated comment

The Preelaborate pragma the removed comment was referring to was
indeed present in AI 167, as well as in clause 5.3 of the rationale
for Ada 2012, but it never made it into the 2012 version of the
reference manual.

gcc/ada/

* libgnarl/s-mudido.ads: Remove outdated comment.
gcc/ada/libgnarl/s-mudido.ads