diff options
Diffstat (limited to 'gcc/ada/sem_res.adb')
| -rw-r--r-- | gcc/ada/sem_res.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 38e25f0..4d0cfe3 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -5224,7 +5224,7 @@ package body Sem_Res is Eval_Arithmetic_Op (N); -- In SPARK, a multiplication or division with operands of fixed point - -- types shall be qualified or explicitly converted to identify the + -- types must be qualified or explicitly converted to identify the -- result type. if (Is_Fixed_Point_Type (Etype (L)) |