[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 20 Nov 2014 14:41:49 +0000 (15:41 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 20 Nov 2014 14:41:49 +0000 (15:41 +0100)
commitb953f511687e03a50fa231119fa55ff9c8c0f279
treec632340687f94ef43ff9a16a74546795082bd241
parent3fbbbd1e874d3dd74ba551b8ff7f1ed04321a3ed
[multiple changes]

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

* errout.adb (Error_Msg): Don't suppress continuation msgs for
run-time files.
* sem_prag.adb (Analyze_Pragma, case Elaborate): Forbid pragma
Elaborate in SPARK mode.

2014-11-20  Yannick Moy  <moy@adacore.com>

* gnat_rm.texi: Update GNAT RM with rule about expressions in
Update attribute.

From-SVN: r217862
gcc/ada/ChangeLog
gcc/ada/errout.adb
gcc/ada/gnat_rm.texi
gcc/ada/sem_prag.adb