]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Update comment after SPARK RM change
authorYannick Moy <moy@adacore.com>
Tue, 24 May 2022 10:13:43 +0000 (12:13 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 15 May 2023 09:36:41 +0000 (11:36 +0200)
commita1f35b49196ca219863cc6e64eb1d1eb1483cca9
tree9d0cbbd175b73e3803568a12146fac5dde886217
parent83a0b4e7e345d05ad758d44d2a7121e1cc484f76
ada: Update comment after SPARK RM change

gcc/ada/

* sem_attr.adb: Update comment referring to rule number.
gcc/ada/sem_attr.adb