diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-13 11:08:46 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-13 11:08:46 +0100 |
| commit | 582dbb53ac6d0bd46c1402584d2c4be0a34a040b (patch) | |
| tree | 6e32717db983e2c599fedb1f699d0bfade203b38 /gcc/ada/contracts.adb | |
| parent | e4d0416682374541d42aebe9b3535dbfa7fd0058 (diff) | |
| download | gcc-582dbb53ac6d0bd46c1402584d2c4be0a34a040b.zip gcc-582dbb53ac6d0bd46c1402584d2c4be0a34a040b.tar.gz gcc-582dbb53ac6d0bd46c1402584d2c4be0a34a040b.tar.bz2 | |
[multiple changes]
2017-01-13 Justin Squirek <squirek@adacore.com>
* sem_ch12.adb (Analyze_Package_Instantiation): Move disabiling
of the style check until after preanalysis of acutals.
2017-01-13 Yannick Moy <moy@adacore.com>
* sem_ch13.adb: Minor reformatting.
* par-ch11.adb: minor style fix in whitespace
* gnatbind.adb (Gnatbind): Scope of Std_Lib_File
reduced to Add_Artificial_ALI_File; style fix in declaration of
Text; grammar fix in comment.
* osint-c.adb (Read_Library_Info): strip trailing NUL from result.
* freeze.adb: Cleanup to pass pragma instead of
expression to call.
* exp_spark.adb (Expand_SPARK_Attribute_Reference): New procedure to
replace System'To_Address by equivalent call.
From-SVN: r244401
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions