[COMMITTED] ada: Update comment about implicit inputs of Depends contract

[Marc Poulhiès]

From: Piotr Trojanek <troja...@adacore.com>

Sync comment with the updated SPARK RM rules.

gcc/ada/

        * sem_prag.adb (Collect_Global_Item): Update comment.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/sem_prag.adb | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 5764992237b..0eb4450dba3 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -31669,8 +31669,7 @@ package body Sem_Prag is
                Append_New_Elmt (Formal, Subp_Outputs);
 
                --  OUT parameters can act as inputs when the related type is
-               --  tagged, unconstrained array, unconstrained record, or record
-               --  with unconstrained components.
+               --  tagged, unconstrained array or unconstrained record.
 
                if Ekind (Formal) = E_Out_Parameter
                  and then Is_Unconstrained_Or_Tagged_Item (Formal)
-- 
2.43.2