diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-10 14:26:07 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-10 14:26:07 +0200 |
| commit | 4169c2d220718a78e661a605ebd838b0ad5a40bd (patch) | |
| tree | b74e92dafacc02652acb04902f680496d7b0355b /gcc/config.gcc | |
| parent | aa500b7a972aebff7375a093c2a7d90aad427b65 (diff) | |
| download | gcc-4169c2d220718a78e661a605ebd838b0ad5a40bd.zip gcc-4169c2d220718a78e661a605ebd838b0ad5a40bd.tar.gz gcc-4169c2d220718a78e661a605ebd838b0ad5a40bd.tar.bz2 | |
[multiple changes]
2013-10-10 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Refined_Pre and Refined_Post are now allowed as
assertion identifiers for pragma Assertion_Policy.
* sem_prag.adb (Is_Valid_Assertion_Kind): Add Refined_Pre/Refined_Post
* sem_ch13.adb: Minor reformatting.
2013-10-10 Pascal Obry <obry@adacore.com>
* prj-conf.adb: Code refactoring.
From-SVN: r203361
Diffstat (limited to 'gcc/config.gcc')
0 files changed, 0 insertions, 0 deletions