diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-17 13:52:37 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-17 13:52:37 +0000 |
| commit | d208a3b495cb50fea2d730314eba4e5fdfbf18b9 (patch) | |
| tree | 84cbcf8a81016a8b4bce0db51f29b24c8dde0eaf /libjava/classpath/lib/gnu/java | |
| parent | 3f778a0022cece4c3a1a54d6ebef81816c7325a7 (diff) | |
| download | ppe42-gcc-d208a3b495cb50fea2d730314eba4e5fdfbf18b9.tar.gz ppe42-gcc-d208a3b495cb50fea2d730314eba4e5fdfbf18b9.zip | |
2013-10-17 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): Flag aspect
Refined_Pre as not supported.
* sem_prag.adb (Analyze_Pragma): Ignore pragma Refined_Pre.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203761 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/lib/gnu/java')
0 files changed, 0 insertions, 0 deletions
