2018-01-11 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in
comment.
From-SVN: r256482
+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,
-- 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