| commit | 72114cb735d38edd6437d6f3eae19f93998ae785 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 30 Oct 2014 11:37:06 +0000 (30 11:37 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 30 Oct 2014 11:37:06 +0000 (30 11:37 +0000) | ||
| tree | b29069bd273e4e66bf52ca4ef6d25ff7ea1e3576 | treesnapshot (tar.gz zip) |
| parent | cab27d2a925534f93f837205b1b516ecae6185f3 | commitdiff |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216920 138bc75d-0d04-0410-961f-82ee72b054a4
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216920 138bc75d-0d04-0410-961f-82ee72b054a4