diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-30 12:37:06 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-30 12:37:06 +0100 |
| commit | b3407ce0ca15ff997069847461de8eee01ac1dd2 (patch) | |
| tree | b29069bd273e4e66bf52ca4ef6d25ff7ea1e3576 /libjava/classpath/java/text/Format.java | |
| parent | 039538bc35b844d57ca526bf1a274c93d251b6f5 (diff) | |
[multiple changes]
2014-10-30 Hristian Kirtchev <kirtchev@adacore.com>
* sem_util.adb (Inherit_Subprogram_Contract):
Add a guard to protect against enumeration literal overriding.
* sem_ch3.adb, sem_ch4.adb, sem_res.adb, sem_util.adb:
Minor reformatting (add SPARK RM references).
2014-10-30 Robert Dewar <dewar@adacore.com>
* exp_dbug.adb, opt.ads: Minor reformatting.
From-SVN: r216920
Diffstat (limited to 'libjava/classpath/java/text/Format.java')
0 files changed, 0 insertions, 0 deletions