]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Remove obsolete ??? comment about Assignment_OK flag
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 25 Oct 2024 06:37:30 +0000 (08:37 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 12 Nov 2024 13:00:51 +0000 (14:00 +0100)
commit220360870b03e81421d10a916a1a4b5f6d87b223
treea773da60640727f2d1a620acdae2c959761b5d7d
parent3b78393b39a848dadfe6f7b703cda01b9870b6bd
ada: Remove obsolete ??? comment about Assignment_OK flag

The flagged use has apparently disappeared for long.

gcc/ada/ChangeLog:

* sinfo.ads (Assignment_OK): Remove obsolete ??? comment.
gcc/ada/sinfo.ads