[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 16 Jul 2012 12:57:45 +0000 (14:57 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 16 Jul 2012 12:57:45 +0000 (14:57 +0200)
commitbe93c386585920cf9f235075a4b7fba74c0585ca
treee1a504af744399992806bf977765bb5d5364f7e2
parent5df1266a05ba1c1d0a3970a2151f66d9a598b333
[multiple changes]

2012-07-16  Thomas Quinot  <quinot@adacore.com>

* gnat_rm.texi: Minor documentation improvements.

2012-07-16  Yannick Moy  <moy@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications): Allow Pre
and Pre'Class aspects on the same declaration.
* sem_prag.adb (Chain_PPC): Allow Pre and Pre'Class aspects on the
same hierarchy of primitive operations.

From-SVN: r189533
gcc/ada/ChangeLog
gcc/ada/gnat_rm.texi
gcc/ada/sem_ch13.adb
gcc/ada/sem_prag.adb