diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 17:24:37 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 17:24:37 +0100 |
| commit | 497716fecf8c610d672576c71ca435e804f04f4a (patch) | |
| tree | f97aa947f39162939211a085f99744aaaf9cde5a /libgcc | |
| parent | fb1fdf7d6bbcb4728c13d14987acfa97b1cda03d (diff) | |
| download | gcc-497716fecf8c610d672576c71ca435e804f04f4a.zip gcc-497716fecf8c610d672576c71ca435e804f04f4a.tar.gz gcc-497716fecf8c610d672576c71ca435e804f04f4a.tar.bz2 | |
[multiple changes]
2014-01-21 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_External_Property): Add processing for "others".
(Analyze_Pragma): Update the grammar of pragma Abstract_State to
include "others".
2014-01-21 Arnaud Charlet <charlet@adacore.com>
* gnat_ugn.texi: Minor updates.
From-SVN: r206889
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions