diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2016-10-13 12:24:21 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-13 14:24:21 +0200 |
| commit | c9d2e84b72ff8032b8407bb27e9818f01ba8b55d (patch) | |
| tree | a11d98f66dba227f2c9ca059635970615b0eb260 /gcc/ada/sem_prag.adb | |
| parent | 2eef1fc11358cb848d027f43956e8166ba613b5d (diff) | |
| download | gcc-c9d2e84b72ff8032b8407bb27e9818f01ba8b55d.zip gcc-c9d2e84b72ff8032b8407bb27e9818f01ba8b55d.tar.gz gcc-c9d2e84b72ff8032b8407bb27e9818f01ba8b55d.tar.bz2 | |
exp_ch7.adb, [...]: Minor typo fixes and reformatting.
2016-10-13 Gary Dismukes <dismukes@adacore.com>
* exp_ch7.adb, einfo.ads, sem_prag.adb, sem_prag.ads, sem.ads,
sem_attr.adb, sem_case.adb, sem_ch13.ads: Minor typo fixes and
reformatting.
From-SVN: r241109
Diffstat (limited to 'gcc/ada/sem_prag.adb')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 21e4c7f..e553dab 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -263,7 +263,7 @@ package body Sem_Prag is Constit_Id : Entity_Id) return Entity_Id; -- Given the entity of a constituent Constit_Id, find the corresponding -- encapsulating state which appears in States. The routine returns Empty - -- is no such state is found. + -- if no such state is found. function Find_Related_Context (Prag : Node_Id; @@ -24848,10 +24848,10 @@ package body Sem_Prag is -- Not one of the constituents appeared as Input. Always emit an -- error when the full refinement is visible (SPARK RM 7.2.4(3a)). - -- When only partial refinement is visible, emit an - -- error if the abstract state itself is not utilized - -- (SPARK RM 7.2.4(3d)). In the case where both are utilized, - -- an error will be issued in Check_State_And_Constituent_Use. + -- When only partial refinement is visible, emit an error if the + -- abstract state itself is not utilized (SPARK RM 7.2.4(3d)). In + -- the case where both are utilized, an error will be issued in + -- Check_State_And_Constituent_Use. if not In_Seen and then (Has_Visible_Refinement (State_Id) @@ -25032,8 +25032,8 @@ package body Sem_Prag is procedure Check_Constituent_Usage (State_Id : Entity_Id); -- Determine whether at least one constituent of state State_Id with -- full or partial visible refinement is used and has mode Proof_In. - -- Ensure that the remaining constituents do not have Input, In_Out - -- or Output modes. Emit an error of this is not the case + -- Ensure that the remaining constituents do not have Input, In_Out, + -- or Output modes. Emit an error if this is not the case -- (SPARK RM 7.2.4(5)). ----------------------------- |