diff options
author | Hristian Kirtchev <kirtchev@adacore.com> | 2015-05-26 09:20:53 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 11:20:53 +0200 |
commit | b9eb3aa8a2f9c09ade591ed1a1edc12f0e73ed73 (patch) | |
tree | b85c114cf0fec62a3131a2f88f521949d4895149 /libjava/classpath/java/security/Permission.java | |
parent | a12e42fc3dc64fb4183ee30e32906d3111552a17 (diff) | |
download | gcc-b9eb3aa8a2f9c09ade591ed1a1edc12f0e73ed73.zip gcc-b9eb3aa8a2f9c09ade591ed1a1edc12f0e73ed73.tar.gz gcc-b9eb3aa8a2f9c09ade591ed1a1edc12f0e73ed73.tar.bz2 |
exp_ch6.adb (Process_Contract_Cases_For): Update the call to Expand_Pragma_Contract_Cases.
2015-05-26 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Process_Contract_Cases_For): Update the call to
Expand_Pragma_Contract_Cases.
* exp_prag.ads, exp_prag.adb (Expand_Contract_Cases): Rename to
Expand_Pragma_Contract_Cases.
* sem_ch13.adb (Add_Invariants): Use the original aspect name
when creating the arguments of pragma Check. This ensures that
'Class is properly recognized and handled.
From-SVN: r223671
Diffstat (limited to 'libjava/classpath/java/security/Permission.java')
0 files changed, 0 insertions, 0 deletions