diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-04-18 12:27:10 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-04-18 12:27:10 +0000 |
| commit | cfc922eda42ad4f534c84530bf564945bdccaac8 (patch) | |
| tree | ffe4f91e0d909b0d393db9ce84a1203f8c331576 /gcc/ada/lib-xref-spark_specific.adb | |
| parent | 2609e4d05571f7a6d55a0ab75c0265e92d5c8076 (diff) | |
| download | gcc-cfc922eda42ad4f534c84530bf564945bdccaac8.tar.gz | |
2016-04-18 Gary Dismukes <dismukes@adacore.com>
* lib-xref-spark_specific.adb, par-ch2.adb, errout.ads,
exp_intr.adb: Minor reformatting and typo corrections.
2016-04-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb: Code cleanup.
2016-04-18 Thomas Quinot <quinot@adacore.com>
* sem_ch13.adb: Minor reformatting and error message tweaking
(remove extraneous spaces).
2016-04-18 Johannes Kanig <kanig@adacore.com>
* gnat1drv.adb (Gnat1drv): Force loading of System unit for SPARK.
2016-04-18 Bob Duff <duff@adacore.com>
* s-fileio.adb (Fopen_Mode): If Mode = Out_File, and the file
exists, and it's a fifo, we use "w" as the open string instead of
"r+". This is necessary to make a write to the fifo block until
a reader is ready.
2016-04-18 Hristian Kirtchev <kirtchev@adacore.com>
* sem_attr.adb (Denote_Same_Function): Account
for a special case where a primitive of a tagged type inherits
a class-wide postcondition from a parent type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235135 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index 67e0879ee01..f7409d9a916 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -271,10 +271,10 @@ package body SPARK_Specific is when E_Function | E_Procedure => - -- In in SPARK we need to distinguish protected functions and + -- In SPARK we need to distinguish protected functions and -- procedures from ordinary subprograms, but there are no special -- Xref letters for them. Since this distiction is only needed - -- to detect protected calls we pretent that such calls are entry + -- to detect protected calls, we pretend that such calls are entry -- calls. if Ekind (Scope (E)) = E_Protected_Type then |