diff options
-rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/ada/sem_ch13.adb | 6 |
2 files changed, 8 insertions, 3 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index c1697e3..88e6ed5 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-01-11 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in + comment. + 2018-01-11 Arnaud Charlet <charlet@adacore.com> * einfo.ads, einfo.adb (Activation_Record_Component, diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index d2533b0..dd00197 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -8359,15 +8359,15 @@ package body Sem_Ch13 is -- Build_Predicate_Functions -- ------------------------------- - -- The procedures that are constructed here have the form: + -- The functions that are constructed here have the form: -- function typPredicate (Ixxx : typ) return Boolean is -- begin -- return -- typ1Predicate (typ1 (Ixxx)) -- and then typ2Predicate (typ2 (Ixxx)) - -- and then ...; - -- exp1 and then exp2 and then ... + -- and then ... + -- and then exp1 and then exp2 and then ...; -- end typPredicate; -- Here exp1, and exp2 are expressions from Predicate pragmas. Note that |