diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-07-08 09:41:19 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-07-08 09:41:19 +0200 |
| commit | a9e892d0750958d33f76f3900c45863c7c0d0fd1 (patch) | |
| tree | b807f4d8f8d947f95459951eb87e501a9440d4f4 /gcc/ada/lib.ads | |
| parent | 1bc331122b9f6a30124d1deb32a7af5eef006a00 (diff) | |
| download | gcc-a9e892d0750958d33f76f3900c45863c7c0d0fd1.zip gcc-a9e892d0750958d33f76f3900c45863c7c0d0fd1.tar.gz gcc-a9e892d0750958d33f76f3900c45863c7c0d0fd1.tar.bz2 | |
[multiple changes]
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Remove
variable Unit_Prag. Remove the check on duplicate mode for the
configuration form of the pragma.
(Redefinition_Error): Removed.
2013-07-08 Robert Dewar <dewar@adacore.com>
* lib.ads, gnat_rm.texi, einfo.ads, sem_ch13.adb: Minor reformatting
and editing.
From-SVN: r200753
Diffstat (limited to 'gcc/ada/lib.ads')
| -rw-r--r-- | gcc/ada/lib.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/lib.ads b/gcc/ada/lib.ads index eb10a8b..ac1945e 100644 --- a/gcc/ada/lib.ads +++ b/gcc/ada/lib.ads @@ -373,7 +373,7 @@ package Lib is -- SPARK_Mode_Pragma -- Pointer to the configuration pragma SPARK_Mode that applies to the - -- whole unit. + -- whole unit. Add note of what this is used for ??? -- Unit_File_Name -- The name of the source file containing the unit. Set when the entry |