diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-12 12:41:11 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-12 12:41:11 +0200 |
| commit | f0709ca650996f4df1d8d9a7015b8dc127ea3ed3 (patch) | |
| tree | 6a2db5d52e99edf5a8aa22f222c92dd10217a304 /gcc/ada/gnat1drv.adb | |
| parent | 7730df143ca83fef65f64299856c8072bf21a453 (diff) | |
| download | gcc-f0709ca650996f4df1d8d9a7015b8dc127ea3ed3.zip gcc-f0709ca650996f4df1d8d9a7015b8dc127ea3ed3.tar.gz gcc-f0709ca650996f4df1d8d9a7015b8dc127ea3ed3.tar.bz2 | |
[multiple changes]
2010-10-12 Robert Dewar <dewar@adacore.com>
* sem_ch6.adb (Process_PPCs): Handle inherited postconditions.
2010-10-12 Arnaud Charlet <charlet@adacore.com>
* exp_disp.adb (Set_All_DT_Position): Disable emit error message on
abstract inherited private operation in CodePeer mode.
From-SVN: r165358
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
0 files changed, 0 insertions, 0 deletions