diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2018-07-31 09:55:16 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-31 09:55:16 +0000 |
| commit | 617709748bf6e8c9590ce8a19a20c57de53a08e2 (patch) | |
| tree | c88c359d800e7a2645ebbf4321934aafd1de0fdf /gcc/ada/contracts.adb | |
| parent | e78c79ff53c9370b5438d7f8b9f7096103ee0d44 (diff) | |
| download | gcc-617709748bf6e8c9590ce8a19a20c57de53a08e2.zip gcc-617709748bf6e8c9590ce8a19a20c57de53a08e2.tar.gz gcc-617709748bf6e8c9590ce8a19a20c57de53a08e2.tar.bz2 | |
[Ada] Minor reformattings
2018-07-31 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada
* checks.adb, contracts.adb, exp_aggr.adb, exp_ch5.adb,
exp_disp.adb, make.adb, sem_ch4.adb, sem_eval.adb, sem_res.adb,
usage.adb: Minor reformatting.
From-SVN: r263089
Diffstat (limited to 'gcc/ada/contracts.adb')
| -rw-r--r-- | gcc/ada/contracts.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index 69cece9..5577604 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -888,8 +888,8 @@ package body Contracts is if not Is_Library_Level_Entity (Obj_Id) then Error_Msg_N - ("volatile variable & must be declared at library level", - Obj_Id); + ("volatile variable & must be declared at library level " + & "(SPARK RM 7.1.3(3))", Obj_Id); -- An object of a discriminated type cannot be effectively -- volatile except for protected objects (SPARK RM 7.1.3(5)). |