diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2015-10-27 11:20:01 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-27 12:20:01 +0100 |
| commit | 3f8743e802e6927c8ea91911fd9e313137b73c50 (patch) | |
| tree | 2fbedd7a9d3f642256700863592f57efda519a3e /gcc | |
| parent | 5c12e9fbefcf47363492098361c74d7fabdf9e3a (diff) | |
| download | gcc-3f8743e802e6927c8ea91911fd9e313137b73c50.zip gcc-3f8743e802e6927c8ea91911fd9e313137b73c50.tar.gz gcc-3f8743e802e6927c8ea91911fd9e313137b73c50.tar.bz2 | |
sinput.ads, [...]: Fix typos.
2015-10-27 Arnaud Charlet <charlet@adacore.com>
* sinput.ads, spark_xrefs.ads, lib-xref.adb: Fix typos.
From-SVN: r229417
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/lib-xref.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/sinput.ads | 2 | ||||
| -rw-r--r-- | gcc/ada/spark_xrefs.ads | 10 |
4 files changed, 11 insertions, 7 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index da584a5..31765e9 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2015-10-27 Arnaud Charlet <charlet@adacore.com> + + * sinput.ads, spark_xrefs.ads, lib-xref.adb: Fix typos. + 2015-10-27 Pascal Obry <obry@adacore.com> * a-dirval-mingw.adb: Remove some characters from Invalid_Character set. diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb index f84a211..4751cd3 100644 --- a/gcc/ada/lib-xref.adb +++ b/gcc/ada/lib-xref.adb @@ -192,7 +192,7 @@ package body Lib.Xref is Set_Has_Xref_Entry (Key.Ent); -- It was already in Xref_Set, so throw away the tentatively-added - -- entry + -- entry. else Xrefs.Decrement_Last; diff --git a/gcc/ada/sinput.ads b/gcc/ada/sinput.ads index cc95542..76ff651 100644 --- a/gcc/ada/sinput.ads +++ b/gcc/ada/sinput.ads @@ -136,7 +136,7 @@ package Sinput is -- The licensing status is determined either by the presence of a -- specific pragma License, or by scanning the header for a predefined - -- file, or any file if compiling in -gnatg mode. + -- statement, or any file if compiling in -gnatg mode. ----------------------- -- Source File Table -- diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index ff5fb26..9201793 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -34,11 +34,11 @@ with GNAT.Table; package SPARK_Xrefs is - -- SPARK cross-reference information can exist in one of two forms. In the - -- ALI file, it is represented using a text format that is described in - -- this specification. Internally it is stored using three tables - -- SPARK_Xref_Table, SPARK_Scope_Table and SPARK_File_Table, which are also - -- defined in this unit. + -- SPARK cross-reference information can exist in one of two forms. In + -- the ALI file, it is represented using a text format that is described + -- in this specification. Internally it is stored using three tables + -- SPARK_Xref_Table, SPARK_Scope_Table and SPARK_File_Table, which are + -- also defined in this unit. -- Lib.Xref.SPARK_Specific is part of the compiler. It extracts SPARK -- cross-reference information from the complete set of cross-references |