diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 5b5ff320e80c70844d184a03b19f2e9ad7731166..042028739748b67d357089d06d31a273f906363d 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);