diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-23 12:44:35 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-23 12:44:35 +0200 |
| commit | ed37f25a36339a3c198c0c8d0d9e07735897d3cd (patch) | |
| tree | 43a5152a860facf5af287afe4d3c26852031e444 /gcc/ada/restrict.adb | |
| parent | 6e840989730297abbe1610c3b15ecb565e967f1f (diff) | |
| download | gcc-ed37f25a36339a3c198c0c8d0d9e07735897d3cd.zip gcc-ed37f25a36339a3c198c0c8d0d9e07735897d3cd.tar.gz gcc-ed37f25a36339a3c198c0c8d0d9e07735897d3cd.tar.bz2 | |
[multiple changes]
2015-10-23 Gary Dismukes <dismukes@adacore.com>
* bindgen.adb, restrict.adb: Minor spelling/grammar fixes.
2015-10-23 Hristian Kirtchev <kirtchev@adacore.com>
* sem_res.adb (Resolve_Entity_Name): Code cleanup. Check for possible
elaboration issues in SPARK when the name denotes a source variable.
From-SVN: r229228
Diffstat (limited to 'gcc/ada/restrict.adb')
| -rw-r--r-- | gcc/ada/restrict.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index 37f579b..b63b426 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -503,7 +503,7 @@ package body Restrict is -- so that we have consistency between each compilation. -- In GNATprove mode restrictions are checked, except for - -- No_Initialize_Scalars, which is implicitely set in gnat1drv.adb. + -- No_Initialize_Scalars, which is implicitly set in gnat1drv.adb. -- Just checking, SPARK does not allow restrictions to be set ??? |