]> git.ipfire.org Git - thirdparty/gcc.git/commit
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 20 Jan 2014 15:25:44 +0000 (16:25 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 20 Jan 2014 15:25:44 +0000 (16:25 +0100)
commit90b51aaf6383fab0d308a3ae238a45d7a50933b4
tree9e69f6d6604fa710148467001bcae9948127dc8a
parent2838fa930c8c9210ee4a81c1c22a6406a9ce2f0f
[multiple changes]

2014-01-20  Robert Dewar  <dewar@adacore.com>

* s-taasde.ads, gnat_ugn.texi, s-tadeca.adb, sem_res.adb, s-tadeca.ads:
Minor reformatting and code clean up.

2014-01-20  Arnaud Charlet  <charlet@adacore.com>

* sem_cat.adb (Validate_Object_Declaration): Relax semantics
of objects of private type if Relaxed_RM_Semantics.

From-SVN: r206823
gcc/ada/ChangeLog
gcc/ada/gnat_ugn.texi
gcc/ada/s-taasde.ads
gcc/ada/s-tadeca.adb
gcc/ada/s-tadeca.ads
gcc/ada/sem_cat.adb
gcc/ada/sem_res.adb