diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-04 12:06:17 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-04 12:06:17 +0200 |
| commit | 015f33d73ec6634c9b96637fff73c49ac5f0ba9f (patch) | |
| tree | f3137ec8a9dbff795b4f1e394e7b2d1de52176f4 /gcc/ada/sem_prag.ads | |
| parent | 9d1d00ca249c62a6df038254e1fc986bd6b26f39 (diff) | |
| download | gcc-015f33d73ec6634c9b96637fff73c49ac5f0ba9f.zip gcc-015f33d73ec6634c9b96637fff73c49ac5f0ba9f.tar.gz gcc-015f33d73ec6634c9b96637fff73c49ac5f0ba9f.tar.bz2 | |
Minor reformatting.
From-SVN: r237962
Diffstat (limited to 'gcc/ada/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 8613bba..db7bcbb 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -531,12 +531,10 @@ package Sem_Prag is procedure Update_Primitives_Mapping (Inher_Id : Entity_Id; Subp_Id : Entity_Id); - - -- map primitive operations of the parent type to the corresponding - -- operations of the descendant. note that the descendant type may - -- not be frozen yet, so we cannot use the dispatch table directly. - -- This is called when elaborating a contract for a subprogram, and - -- when freezing a type extension to verify legality rules on inherited - -- conditions. + -- Map primitive operations of the parent type to the corresponding + -- operations of the descendant. Note that the descendant type may not be + -- frozen yet, so we cannot use the dispatch table directly. This is called + -- when elaborating a contract for a subprogram, and when freezing a type + -- extension to verify legality rules on inherited conditions. end Sem_Prag; |