diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-09-10 14:52:46 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-09-10 14:52:46 +0000 |
| commit | e5e512c52ff19986ad4ace0092b97d1a05b87566 (patch) | |
| tree | 895f82359759face41b9b601b7972775c577719e /gcc/ada/sinfo.ads | |
| parent | da94c58fb5137a243c00798d1bec1a2842679440 (diff) | |
| download | gcc-e5e512c52ff19986ad4ace0092b97d1a05b87566.tar.gz | |
2013-09-10 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, sinfo.ads, exp_ch9.adb, sem_prag.adb, sem_ch12.adb,
exp_ch4.adb, sprint.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@202455 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index b27e20b04ae..48b750be8b1 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -7051,11 +7051,10 @@ package Sinfo is -- The pragmas can either come from source or be the byproduct of aspect -- expansion. The ordering in the list is of LIFO fashion. - -- Note that there might be multiple preconditions (resp. - -- postconditions) in this list, either because they come from - -- separate pragmas in the source, or because a Pre (resp. Post) aspect - -- specification has been broken into AND THEN sections. See Split_PPC - -- for details. + -- Note that there might be multiple preconditions or postconditions + -- in this list, either because they come from separate pragmas in the + -- source, or because a Pre (resp. Post) aspect specification has been + -- broken into AND THEN sections. See Split_PPC for details. -- Contract_Test_Cases contains a collection of pragmas that correspond -- to aspects/pragmas Contract_Cases and Test_Case. The ordering in the |