diff mbox series

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

Message ID 20240507075938.36384-1-poulhies@adacore.com
State Committed
Headers
Series [COMMITTED] ada: Update comment about implicit inputs of Depends contract |

Commit Message

Marc Poulhiès May 7, 2024, 7:59 a.m. UTC 
  From: Piotr Trojanek <trojanek@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 mbox series

Patch

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)