]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d41df03) | patch
ada: Fix comment related to inlining
authorBob Duff <duff@adacore.com>
Fri, 13 Jan 2023 21:10:44 +0000 (16:10 -0500)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 15 May 2023 09:36:43 +0000 (11:36 +0200)
commit2b38d009954b8e46adcb4b02a29ee631efd300ae
tree081575a924149a4ef524663521df036ba2453653tree
parentd41df0366e6dfbdc3a5a50577462a9b6689ebbfbcommit | diff
ada: Fix comment related to inlining

Correction to previous check-in: Remove comment about
Proc_Next_... procedures, which were deleted.

gcc/ada/

* einfo-utils.ads: Remove comment.
gcc/ada/einfo-utils.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git