diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 12:32:36 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 12:32:36 +0100 |
| commit | 363f2c587eb0ae1238fe398326223ebc79c39cd3 (patch) | |
| tree | 696cc369b97a574c58bc50e624a588f1b2761fb8 /gcc/ada/adaint.c | |
| parent | 24fd21c393d671989c45f53fcfb0f489d9ca768e (diff) | |
| download | gcc-363f2c587eb0ae1238fe398326223ebc79c39cd3.zip gcc-363f2c587eb0ae1238fe398326223ebc79c39cd3.tar.gz gcc-363f2c587eb0ae1238fe398326223ebc79c39cd3.tar.bz2 | |
[multiple changes]
2015-10-26 Yannick Moy <moy@adacore.com>
* lib-xref-spark_specific.adb (Traverse_Protected_Declaration): New
procedure for traversal.
(Add_SPARK_Xrefs): Remove debugging code.
(Traverse_Declaration_Or_Statement): Call the new traversal
procedure.
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Pragma
Extensions_Visible can now appear on an abstract subprogram
declaration.
From-SVN: r229338
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions