diff options
| author | Robert Dewar <dewar@adacore.com> | 2008-07-31 11:42:14 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-31 11:42:14 +0200 |
| commit | 393e63ce0f939555c88554d773f9798f07a2a898 (patch) | |
| tree | 8f1cc2f889404ce6ca9d074bcaef6bb8240d40af /gcc/ada/gcc-interface | |
| parent | 024238a2bf6ed3340ccd940d3298ccfa2e99b939 (diff) | |
| download | gcc-393e63ce0f939555c88554d773f9798f07a2a898.zip gcc-393e63ce0f939555c88554d773f9798f07a2a898.tar.gz gcc-393e63ce0f939555c88554d773f9798f07a2a898.tar.bz2 | |
einfo.adb (Spec_PPC): Now defined for generic subprograms
2008-07-31 Robert Dewar <dewar@adacore.com>
* einfo.adb (Spec_PPC): Now defined for generic subprograms
* einfo.ads (Spec_PPC): Now defined for generic subprograms
* sem_prag.adb (Check_Precondition_Postcondition): Handle generic
subprogram case
From-SVN: r138370
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions