aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/errout.ads
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2016-04-18 14:27:10 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2016-04-18 14:27:10 +0200
commit4afcf3a5a0391b309520cbcf5d4836d611bd7fd9 (patch)
treeffe4f91e0d909b0d393db9ce84a1203f8c331576 /gcc/ada/errout.ads
parent58ba2415917ccf9f4556394786a76470284a8d5f (diff)
downloadgcc-4afcf3a5a0391b309520cbcf5d4836d611bd7fd9.zip
gcc-4afcf3a5a0391b309520cbcf5d4836d611bd7fd9.tar.gz
gcc-4afcf3a5a0391b309520cbcf5d4836d611bd7fd9.tar.bz2
[multiple changes]
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. From-SVN: r235135
Diffstat (limited to 'gcc/ada/errout.ads')
-rw-r--r--gcc/ada/errout.ads8
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads
index 70988b9..fb41f79 100644
--- a/gcc/ada/errout.ads
+++ b/gcc/ada/errout.ads
@@ -907,14 +907,14 @@ package Errout is
procedure Adjust_Name_Case
(Buf : in out Bounded_String;
Loc : Source_Ptr);
- -- Given a name stored in Buf, set proper casing. Loc is an associated
- -- source position, if we can find a match between the name in Buf and the
- -- name at that source location, we copy the casing from the source,
+ -- Given a name stored in Buf, set proper casing. Loc is an associated
+ -- source position, and if we can find a match between the name in Buf and
+ -- the name at that source location, we copy the casing from the source,
-- otherwise we set appropriate default casing.
procedure Adjust_Name_Case (Loc : Source_Ptr);
-- Uses Buf => Global_Name_Buffer. There are no calls to this in the
- -- compiler, but it is called in SPARK2014.
+ -- compiler, but it is called in SPARK 2014.
procedure Set_Identifier_Casing
(Identifier_Name : System.Address;