ada: Cleanup comment about mapping parameters when inlining
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 12 Aug 2022 09:51:30 +0000 (11:51 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 7 Nov 2022 08:36:31 +0000 (09:36 +0100)
commit76b35e7227f34e2ce18e50ca637c86d7a1c3ef49
treec03aca26fa02d18be4c547bf42868dc56e34e5de
parent748976cfc867cb387f0f8180c48233e883223f93
ada: Cleanup comment about mapping parameters when inlining

Improve location of the comment about a special case for GNATprove mode.

gcc/ada/

* inline.adb (Establish_Actual_Mapping_For_Inlined_Call): Move
comment next to a condition that it describes.
gcc/ada/inline.adb