]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 880e675) | patch
ada: Remove incorrect comment
authorRonan Desplanques <desplanques@adacore.com>
Fri, 28 Feb 2025 11:24:04 +0000 (12:24 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 9 Jun 2025 06:32:03 +0000 (08:32 +0200)
commit9334a4a2c5ecfb56997a38030a8963f4462e7436
tree2250ec90f4a5dcda3a00f16c9e4d830dcc73800atree
parent880e6752ad94fe0b690fbe39b49e1d6db026db12commit | diff
ada: Remove incorrect comment

This patchs removes a comment that was incorrect, as noted by a ???
comment that was right after and that this patch also removes.

gcc/ada/ChangeLog:

* atree.ads (Rewrite): Remove comment.
gcc/ada/atree.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git