[gcc r15-6624] ada: Fix comments about Subprogram_Variant and Exceptional_Cases

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:d734902a117855a3f98b067ff8ed90052569af80

commit r15-6624-gd734902a117855a3f98b067ff8ed90052569af80
Author: Piotr Trojanek <troja...@adacore.com>
Date:   Mon Dec 16 13:52:43 2024 +0100

    ada: Fix comments about Subprogram_Variant and Exceptional_Cases
    
    The comment about Subprogram_Variant was outdated after more types have been
    allowed by the corresponding SPARK RM rule; the comment about 
Exceptional_Cases
    was incorrect, after being copy-pasted.
    
    gcc/ada/ChangeLog:
    
            * sem_prag.adb (Analyze_Exceptional_Contract, Analyze_Variant): Fix
            comments.

Diff:
---
 gcc/ada/sem_prag.adb | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 5b5ff320e80c..042028739748 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -2320,8 +2320,7 @@ package body Sem_Prag is
 
          Errors := Serious_Errors_Detected;
 
-         --  Preanalyze_Assert_Expression, but without enforcing any of the two
-         --  acceptable types.
+         --  Preanalyze_Assert_Expression enforcing the expression type
 
          Preanalyze_Assert_Expression (Consequence, Any_Boolean);
 
@@ -31380,7 +31379,7 @@ package body Sem_Prag is
 
          Errors := Serious_Errors_Detected;
 
-         --  Preanalyze_Assert_Expression, but without enforcing any of the two
+         --  Preanalyze_Assert_Expression, but without enforcing any of the
          --  acceptable types.
 
          Preanalyze_Assert_Expression (Expr);