sem_prag.adb (Analyze_PPC_In_Decl_Part): Pre'Class and Post'Class aspects can only...
authorSteve Baird <baird@adacore.com>
Fri, 17 Feb 2012 14:17:21 +0000 (14:17 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 17 Feb 2012 14:17:21 +0000 (15:17 +0100)
commitacf49e88aaf315ea29c1b96950a91bffd7e7ea3d
tree70f44e7069c5df96d0c1ada4e8eb0630c6084213
parent794b9b72402dbb9eb2182b2fd046322ea2614bc8
sem_prag.adb (Analyze_PPC_In_Decl_Part): Pre'Class and Post'Class aspects can only be specified for a primitive...

2012-02-17  Steve Baird  <baird@adacore.com>

* sem_prag.adb (Analyze_PPC_In_Decl_Part): Pre'Class and
Post'Class aspects can only be specified for a primitive operation
of a tagged type.

From-SVN: r184342
gcc/ada/ChangeLog
gcc/ada/sem_prag.adb