]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Update coding style
authorViljar Indus <indus@adacore.com>
Mon, 25 Aug 2025 08:55:29 +0000 (11:55 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 11 Sep 2025 09:10:49 +0000 (11:10 +0200)
commit6989e0f3f837a96a4629d0a22b12de00d6438996
treee5ca1f0d10438dd698311765e51e046a8ad9d265
parent354a1c35a20662215d282d20b0cdf68796debe7a
ada: Update coding style

gcc/ada/ChangeLog:

* ghost.adb (Check_Ghost_Policy): Update coding style.
gcc/ada/ghost.adb