diff options
Diffstat (limited to 'gcc/ada/sem_ch4.adb')
| -rw-r--r-- | gcc/ada/sem_ch4.adb | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index 557d616..d1cdeea 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -4343,9 +4343,8 @@ package body Sem_Ch4 is -- Emit appropriate message. Gigi will replace the -- node subsequently with the appropriate Raise. - -- In Alfa mode, this is an made into an error to - -- simplify the treatment of the formal verification - -- backend. + -- In Alfa mode, this is made into an error to simplify + -- the processing of the formal verification backend. if Alfa_Mode then Apply_Compile_Time_Constraint_Error |